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