sig
  type t
  module H : Hashtbl.S
  val index : t -> H.key
  val prefix : string
  val basename : t -> string
  val location : t -> Lexing.position option
  val pp_title : Format.formatter -> t -> unit
  val pp_descr : Format.formatter -> t -> unit
  val clear : unit -> unit
  val section : Formula.section
  val declare :
    t ->
    string ->
    (Formula.S.var, Formula.S.abstract, Formula.S.pred) Formula.item
end