Functor TermInner.Convert

module Convert (T1 : REPR)  (T2 : BUILD) : sig .. end
Parameters:
T1 : REPR
T2 : BUILD

val convert : T1.t -> T2.t
val pipe : unit -> (T1.t, T2.t, 'a, 'a) Transform.t