module UserAxiomDefs:sig
..end
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