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