* Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>
*)
+(* $Id$ *)
+
(* low level types *********************************************************)
type uri = string
type sort = Set
| Prop
| Type
+ | CProp
type spec = MustObj of uri list * position list * depth list
| MustSort of sort list * position list * depth list