X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Ftag.mli;h=7e742c1c147e879ed6a1b8a774087e40f0b067eb;hb=4694574a0dd67cab15d8408007a9665928e6a776;hp=04254e05e32414fdd84781a877bb2cf6c67cc534;hpb=6df6ad6cf27e57872bd5891b49354acb0a5ce6a4;p=SXSI%2Fxpathcomp.git diff --git a/src/tag.mli b/src/tag.mli index 04254e0..7e742c1 100644 --- a/src/tag.mli +++ b/src/tag.mli @@ -6,7 +6,7 @@ type operations = { translate : t -> t } - +external to_int : t -> int = "%identity" val document_node : t val attribute : t val pcdata : t