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