module UserDefinition: sig
.. end
val lock : Translate_prop.Create.Hdef.key -> unit
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