Module Access.Writer

module Writer: sig .. end

type writer 

val make_writer : Opt.indextype -> Opt.indexargs -> int -> writer

val insert : writer -> Term.term -> Fact.entry -> unit

val remove_variant : writer -> Term.term -> unit

val clear : writer -> unit

val get_store : writer -> Access.Store.store

val size : writer -> int