sig
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
end