module TypeUnify: sig .. end
sig
end
type 'a sequence = ('a -> unit) -> unit
'a
('a -> unit) -> unit
module Make (T : TermInner.REPR) : sig .. end
(
T
:
TermInner.REPR
)