module UserAxiom:D.Register
(
sig
typet =
string
module H:Hashtbl.Make
(
sig
end
)
val section :Formula.section
val source :'a option
val prefix :string
val clear :unit -> unit
val index :'a -> 'a
val basename :'a -> 'a
val location :'a -> 'b option
val declare :string -> 'a -> Translate_prop.Create.D.F.pred Formula.item
val pp_title :Format.formatter -> string -> unit
val pp_descr :Format.formatter -> 'a -> unit
end
)