* http://cs.unibo.it/helm/.
*)
+(* AUTOR: Ferruccio Guidi <fguidi@cs.unibo.it>
+ *)
+
type uri = string
type position = string
type depth = string
| OnlyRel of position list * depth list
| Universe of position list
+type builtin_t = MainHypothesis
+ | InHypothesis
+ | MainConclusion
+ | InConclusion
+ | InBody
+ | Set
+ | Prop
+ | Type
+
val locate : string -> MathQL.query
val compose : spec list -> MathQL.query
-val builtin : MathQL.vvar -> string
+val builtin : builtin_t -> string
(* interface for the old constraints ***************************************)