sig
  val index : (string, unit) Hashtbl.t
  val pp_axiomdef_title :
    Format.formatter -> Translate_prop.Create.axiomdef -> unit
  val pp_axiomdef_descr :
    Format.formatter -> Translate_prop.Create.axiomdef -> unit
  val define : Translate_prop.Create.axiomdef -> unit
end