sig
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
end