Module type ElimData.S

module type S = sig .. end

type decode_state 

val mode : ElimData.mode

val name : string

val transform_pb : (ElimData.term, ElimData.term) Nunchaku_core.Problem.t ->
       (ElimData.term, ElimData.term) Nunchaku_core.Problem.t *
       decode_state

val decode_model : decode_state ->
       (ElimData.term, ElimData.term) Nunchaku_core.Model.t ->
       (ElimData.term, ElimData.term) Nunchaku_core.Model.t

val pipe : print:bool ->
       check:bool ->
       ((ElimData.term, ElimData.term) Nunchaku_core.Problem.t,
        (ElimData.term, ElimData.term) Nunchaku_core.Problem.t,
        (ElimData.term, ElimData.term) Nunchaku_core.Problem.Res.t,
        (ElimData.term, ElimData.term) Nunchaku_core.Problem.Res.t)
       Nunchaku_core.Transform.t

val pipe_with : ?on_decoded:('d -> unit) list ->
       decode:(decode_state -> 'c -> 'd) ->
       print:bool ->
       check:bool ->
       ((ElimData.term, ElimData.term) Nunchaku_core.Problem.t,
        (ElimData.term, ElimData.term) Nunchaku_core.Problem.t, 'c, 'd)
       Nunchaku_core.Transform.t