Texttag.T
Tags.
val create : string -> t
create name
creates a new tag with given name
. If a tag with the same name already exists, a warning is issued and the id of the previous tag is returned.
val name : t -> string
val pp : Stdlib.Format.formatter -> t -> unit
val get_or_create : string -> t
get_or_create name
returns tag with given name
if if exists, or else create it.