module Prod3: functor (A : T) -> functor (B : T) -> functor (C : T) -> sig .. end
functor (
A
:
T
) ->
B
C
sig
end
Triple product of alphabets.
type t = A.t * B.t * C.t
A.t * B.t * C.t
val eq : A.t * B.t * C.t -> A.t * B.t * C.t -> bool
A.t * B.t * C.t -> A.t * B.t * C.t -> bool
val compare : A.t * B.t * C.t -> A.t * B.t * C.t -> int
A.t * B.t * C.t -> A.t * B.t * C.t -> int
val to_string : A.t * B.t * C.t -> string
A.t * B.t * C.t -> string