Small optimization (replace lor 1 by + 1)
[SXSI/xpathcomp.git] / src / grammar2.mli
2012-02-22 Kim NguyễnNew run function based on rank2 grammars:
2012-02-22 Kim NguyễnFinish porting to the Grammar2 API
2012-02-22 Kim NguyễnNew version of the Grammar data-structure