Module Category.Free.E

module E: Alphabet.Prod3(V)(M)(V)

type t = A.t * B.t * C.t 

val eq : 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

val to_string : A.t * B.t * C.t -> string