| Ind of int
| Con of int * int (* indtyno, constrno *)
-type reference = Ref of int * NUri.uri * spec
+type reference = private Ref of int * NUri.uri * spec
val eq: reference -> reference -> bool
val string_of_reference: reference -> string
+(* given the reference of an inductive type, returns the i-th contructor *)
+val mk_constructor: int -> reference -> reference
+
(* CACCA *)
val reference_of_ouri: UriManager.uri -> spec -> reference