sig
  val pp_labels : Format.formatter -> string list -> unit
  val pp_axiomdef_title :
    Format.formatter -> Translate_prop.Create.axiomlabel -> unit
  val pp_axiomdef_descr :
    Format.formatter -> Translate_prop.Create.axiomlabel -> unit
  val define : Translate_prop.Create.axiomlabel -> unit
  val is_defined : string -> bool
end