Functor Problem.Convert

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

Convert the term representations

Parameters:

`T1`	:	`TermInner.REPR`
`T2`	:	`TermInner.BUILD`

type ('a, 'b, 'c) inv = <

val convert : (T1.t, T1.t) Problem.t -> (T2.t, T2.t) Problem.t

val pipe : unit ->
       ((T1.t, T1.t) Problem.t, (T2.t, T2.t) Problem.t, 'ret, 'ret) Transform.t