module Make (T : TI.REPR) : sig .. end
(
T
:
TI.REPR
)
sig
end
module T: T
type t = T.t
T.t
val repr : T.t -> T.t Pattern.view
T.t -> T.t Pattern.view