let f (x, y, z) = x
let s (x, y, z) = y
let t (x, y, z) = z
-
- let builtin s =
- let ns = "http://www.cs.unibo.it/helm/schemas/schema-helm#" in
- match s with
- | "MH" -> ns ^ "MainHypothesis"
- | "IH" -> ns ^ "InHypothesis"
- | "MC" -> ns ^ "MainConclusion"
- | "IC" -> ns ^ "InConclusion"
- | "IB" -> ns ^ "InBody"
- | "SET" -> "Set"
- | "PROP" -> "Prop"
- | "TYPE" -> "Type"
- | _ -> raise Parsing.Parse_error
-
+
module G = MQueryGenerator
%}
%token <string> ID
| STR qstr { $1 ^ $2 }
;
str:
- | STR { $1 }
- | DL ID { builtin $2 }
+ | STR { $1 }
+ | DL ID { try G.builtin $2 with _ -> "" }
;
strs:
| str CM strs { $1 :: $3 }