module LogicLib:Logic Path & Regionssig
..end
val basename : LogicTau.tau -> string
val fresh : LogicLang.pool -> LogicTau.tau -> LogicLang.var
LogicLang.pool ->
LogicTau.tau ->
LogicLang.term -> (LogicLang.term -> LogicLang.term) -> LogicLang.term
: LogicLang.pool ->
LogicTau.tau ->
LogicLang.term -> (LogicLang.term -> LogicLang.pred) -> LogicLang.pred
: