Module LogicLib


module LogicLib: sig .. end
Logic Path & Regions

val basename : LogicTau.tau -> string
val fresh : LogicLang.pool -> LogicTau.tau -> LogicLang.var
val e_shared : LogicLang.pool ->
LogicTau.tau ->
LogicLang.term -> (LogicLang.term -> LogicLang.term) -> LogicLang.term
val p_shared : LogicLang.pool ->
LogicTau.tau ->
LogicLang.term -> (LogicLang.term -> LogicLang.pred) -> LogicLang.pred