sig
type t
module H : Hashtbl.S
val index : Fol_formula.Identifiable.t -> H.key
val prefix : string
val basename : Fol_formula.Identifiable.t -> string
val location : Fol_formula.Identifiable.t -> Lexing.position option
val pp_title : Format.formatter -> Fol_formula.Identifiable.t -> unit
val pp_descr : Format.formatter -> Fol_formula.Identifiable.t -> unit
end