Module Texttag.T

Tags.

type t

A tag id

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 compare : t -> t -> int
val equal : t -> t -> bool
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.