X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2FqName.mli;h=7a892e95acc78700c167e910c0e459363432b3e5;hp=978ba3c664d918ffe9983246213650e02caa8255;hb=fe2ba1820282783ae8c10fbbbd2b65d3dc4c67f2;hpb=974dacbf4f625bfd8ea83db69d6b346050141fea diff --git a/src/qName.mli b/src/qName.mli index 978ba3c..7a892e9 100644 --- a/src/qName.mli +++ b/src/qName.mli @@ -13,10 +13,6 @@ (* *) (***********************************************************************) -(* - Time-stamp: -*) - (** Implementation of qualified names as hashconsed strings *) include Hcons.S with type data = string @@ -53,7 +49,7 @@ val nil : t (** Represents the QName of a nil node. Equivalent to [of_string "#"] *) - +(* val attribute : t -> t (** Adds a prefix character (@) to distinguish the name from an element name @@ -68,3 +64,4 @@ val remove_prefix : t -> t (** Removes the prefix of the qname given as argument. Does not do anything if there is no prefix. *) +*)