Module Translate_prop.Create.UserAxiom


module UserAxiom: F.DRegister(sig
type t = string 
module H: Hashtbl.Make(sig
type t = string 
val hash : 'a -> int
val equal : string -> string -> bool
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 -> ('b, 'c, Translate_prop.Create.F.pred) Formula.item
val pp_title : Format.formatter -> string -> unit
val pp_descr : Format.formatter -> 'a -> unit
end)