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