sig
  type term = Nunchaku_core.TermInner.Default.t
  val name : string
  exception Error of string
  val uniq_eqns_pb :
    (ElimMultipleEqns.term, ElimMultipleEqns.term) Nunchaku_core.Problem.t ->
    (ElimMultipleEqns.term, ElimMultipleEqns.term) Nunchaku_core.Problem.t
  val pipe :
    decode:('c -> 'd) ->
    print:bool ->
    check:bool ->
    ((ElimMultipleEqns.term, ElimMultipleEqns.term) Nunchaku_core.Problem.t,
     (ElimMultipleEqns.term, ElimMultipleEqns.term) Nunchaku_core.Problem.t,
     'c, 'd)
    Nunchaku_core.Transform.t
end