projects / SXSI / xpathcomp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a31b1c9) | patch
Add an extra parameter to cons so that it does not perform
authorKim Nguyễn <kn@lri.fr>
Wed, 22 Feb 2012 09:14:40 +0000 (10:14 +0100)
committerKim Nguyễn <kn@lri.fr>
Wed, 22 Feb 2012 09:14:40 +0000 (10:14 +0100)
commit4bbc27978a8e7d36b9d8c47f8b4dd0cf7b654fc6
tree36e0ea27756d4b3423170ac3ce8332faa28dc621tree | snapshot
parenta31b1c91de4e8a984e85c6ca1bc917f26fd334f3commit | diff
Add an extra parameter to cons so that it does not perform
ordered insertion w.r.t the unique ID.
src/hlist.ml diff | blob | history
src/hlist.mli diff | blob | history
XPath Library based on tree automata.