]>
matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql/mQueryTLexer.mll
| "fun" { FUN }
| "in" { IN }
| "intersect" { INTER }
| "fun" { FUN }
| "in" { IN }
| "intersect" { INTER }
| "let" { LET }
| "meet" { MEET }
| "not" { NOT }
| "let" { LET }
| "meet" { MEET }
| "not" { NOT }