sig
type writer
val make_writer :
Opt.indextype -> Opt.indexargs -> int -> Access.Writer.writer
val insert : Access.Writer.writer -> Term.term -> Fact.entry -> unit
val remove_variant : Access.Writer.writer -> Term.term -> unit
val clear : Access.Writer.writer -> unit
val get_store : Access.Writer.writer -> Access.Store.store
val size : Access.Writer.writer -> int
end