Module Translate_prop.Create.UserAxiomDefs


module UserAxiomDefs: sig .. end

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