- | "MH" -> ns ^ "MainHypothesis"
- | "IH" -> ns ^ "InHypothesis"
- | "MC" -> ns ^ "MainConclusion"
- | "IC" -> ns ^ "InConclusion"
- | "IB" -> ns ^ "InBody"
- | "SET" -> ns ^ "Set"
- | "PROP" -> ns ^ "Prop"
- | "TYPE" -> ns ^ "Type"
- | _ -> raise (Failure "MQueryGenerator.builtin")
+ | MainHypothesis -> ns ^ "MainHypothesis"
+ | InHypothesis -> ns ^ "InHypothesis"
+ | MainConclusion -> ns ^ "MainConclusion"
+ | InConclusion -> ns ^ "InConclusion"
+ | InBody -> ns ^ "InBody"
+ | Set -> "Set"
+ | Prop -> "Prop"
+ | Type -> "Type"