sig
  val lock : unit Hdef.t
  val pp_userdef_title :
    Format.formatter -> Translate_prop.Create.userdef -> unit
  val pp_userformals :
    Format.formatter -> Translate_prop.Create.user_formal list -> unit
  val pp_userdef_descr :
    Format.formatter -> Translate_prop.Create.userdef -> unit
  val define :
    Translate_prop.Create.userdef ->
    (string *
     (Translate_prop.Create.F.var, Translate_prop.Create.F.abstract,
      Translate_prop.Create.F.pred)
     Formula.item)
    list -> unit
  val unlock : Translate_prop.Create.Hdef.key -> unit
  val lock : Translate_prop.Create.Hdef.key -> unit
end