module NegativeUnits:Store for negative unit literals.sig
..end
type
store
val make_store : unit -> store
val null_store : store
val insert : store -> Fact.fact -> unit
val lookup : store -> Fact.fact -> Fact.fact
val iter_all : (Fact.fact -> unit) -> store -> unit
iter_all f store
applies f
to all terms in the store.val clear : store -> unit
type
state
val obtain_state : store -> state
val install_state : state -> unit
val add_layer : state -> state