Module FoToRelational

module FoToRelational: sig .. end

type problem1 = (Nunchaku_core.FO.T.t, Nunchaku_core.FO.Ty.t) Nunchaku_core.FO.Problem.t 

type model1 = (Nunchaku_core.FO.T.t, Nunchaku_core.FO.Ty.t) Nunchaku_core.Model.t 

type problem2 = Nunchaku_core.FO_rel.problem 

type model2 = (Nunchaku_core.FO_rel.expr, Nunchaku_core.FO_rel.sub_universe)
       Nunchaku_core.Model.t 

val name : string

Encoding

type state 

val encode_pb : problem1 -> problem2 * state

Decoding

val decode : state -> model2 -> model1

Pipes

val pipe_with : ?on_decoded:('b -> unit) list ->
       decode:(state -> 'a -> 'b) ->
       print:bool ->
       (problem1, problem2, 'a, 'b)
       Nunchaku_core.Transform.t

val pipe : print:bool ->
       (problem1, problem2,
        (Nunchaku_core.FO_rel.expr, Nunchaku_core.FO_rel.sub_universe)
        Nunchaku_core.Problem.Res.t,
        (Nunchaku_core.FO.T.t, Nunchaku_core.FO.Ty.t) Nunchaku_core.Problem.Res.t)
       Nunchaku_core.Transform.t