module LiftRepr (T : REPR) : sig .. end
(
T
:
REPR
)
sig
end
type t = T.t
T.t
val repr : T.t -> T.t TermTyped.view
T.t -> T.t TermTyped.view