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