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