module Jtriple: functor (A : S) -> functor (B : S) -> functor (C : S) -> S with type t = A.t * B.t * C.t
functor (
A
:
S
) ->
B
C
with type t = A.t * B.t * C.t
type t
val syntax : Syntax.t
Syntax.t
val of_json : Data.json -> t
Data.json -> t
val to_json : t -> Data.json
t -> Data.json