Module ElimMultipleEqns

module ElimMultipleEqns: sig .. end

Transform a problem with multiple equations per defined Symbol into one with single equations

type term = Nunchaku_core.TermInner.Default.t

val name : string

exception Error of string

val uniq_eqns_pb : (term, term) Nunchaku_core.Problem.t ->
       (term, term) Nunchaku_core.Problem.t

val pipe : decode:('c -> 'd) ->
       print:bool ->
       check:bool ->
       ((term, term) Nunchaku_core.Problem.t,
        (term, term) Nunchaku_core.Problem.t, 'c,
        'd)
       Nunchaku_core.Transform.t

Pipeline component