Module LogicRaw.SUBST


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