Functor TypeInference.Make

module Make (T1 : Nunchaku_core.TermTyped.S)  (T2 : Nunchaku_core.TermInner.S) : sig .. end

Parameters:

`T1`	:	`Nunchaku_core.TermTyped.S`
`T2`	:	`Nunchaku_core.TermInner.S`

type term1 = T1.t

type term2 = T2.t

val pipe : print:bool ->
       (Nunchaku_core.UntypedAST.statement CCVector.ro_vector,
        (term1, term1) Nunchaku_core.Problem.t,
        'a, 'a)
       Nunchaku_core.Transform.t

Pipeline component. Takes input and output Term representations.

val pipe_with : decode:('c -> 'd) ->
       print:bool ->
       (Nunchaku_core.UntypedAST.statement CCVector.ro_vector,
        (term1, term1) Nunchaku_core.Problem.t,
        'c, 'd)
       Nunchaku_core.Transform.t