Functor TermMono.TransFO

module TransFO (T1 : TI.S) : sig .. end

module Conv: TermMono.ToFO(T1)

module ConvBack: TermMono.OfFO(T1)

val pipe_with : print:bool ->
       decode:(unit -> 'a -> 'b) ->
       ((Conv.P.t, Conv.U.t_) Problem.t,
        (FO.T.t, FO.Ty.t) FO.Problem.t, 'a, 'b)
       Transform.t

val pipe : print:bool ->
       unit ->
       ((Conv.P.t, Conv.U.t_) Problem.t,
        (FO.T.t, FO.Ty.t) FO.Problem.t, (FO.T.t, FO.Ty.t) Problem.Res.t,
        (ConvBack.U.t_, ConvBack.U.t_)
        Problem.Res.t)
       Transform.t