Module Translate_prop.Create.UserDefinition


module UserDefinition: sig .. end

val index : unit Translate_prop.Create.Hdef.t
val pp_userdef_title : Format.formatter -> Translate_prop.Create.userdef -> unit
val pp_userdef_descr : Format.formatter -> Translate_prop.Create.userdef -> unit
val define : Translate_prop.Create.userdef ->
(string * Translate_prop.Create.D.F.pred Formula.item) list -> unit