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