| Def
| Fix of int * int (* fixno, recparamno *)
| CoFix of int
- | Ind of int
+ | Ind of bool * int (* inductive, indtyno *)
| Con of int * int (* indtyno, constrno *)
type reference = private Ref of int * NUri.uri * spec
(* given the reference of an inductive type, returns the i-th contructor *)
val mk_constructor: int -> reference -> reference
val mk_fix: int -> int -> reference -> reference
+val mk_cofix: int -> reference -> reference
(* CACCA *)