module SUBST: sig
.. end
val is_atomic : LogicRaw.TERM.t -> bool
val e_bind : ?pool:int Pervasives.ref ->
LogicRaw.VAR.t -> LogicRaw.TERM.t -> LogicRaw.TERM.t -> LogicRaw.TERM.t
val e_let : ?pool:int Pervasives.ref ->
LogicRaw.VAR.t -> LogicRaw.TERM.t -> LogicRaw.TERM.t -> LogicRaw.TERM.t
val p_bind : ?pool:int Pervasives.ref ->
LogicRaw.VAR.t -> LogicRaw.TERM.t -> LogicRaw.PRED.t -> LogicRaw.PRED.t
val p_let : ?pool:int Pervasives.ref ->
LogicRaw.VAR.t -> LogicRaw.TERM.t -> LogicRaw.PRED.t -> LogicRaw.PRED.t