- | "dec" -> Ref (c (), s, Decl)
- | "def" -> Ref (c (), s, Def)
- | "fix" -> let i,j = get2 s dot in Ref (c (), s, Fix (i,j))
- | "cfx" -> let i = get1 s dot in Ref (c (), s, CoFix (i))
- | "ind" -> let i = get1 s dot in Ref (c (), s, Ind (i))
- | "con" -> let i,j = get2 s dot in Ref (c (), s, Con (i,j))
+ | "dec" -> Ref (c (), u, Decl)
+ | "def" -> Ref (c (), u, Def)
+ | "fix" -> let i,j = get2 s dot in Ref (c (), u, Fix (i,j))
+ | "cfx" -> let i = get1 s dot in Ref (c (), u, CoFix (i))
+ | "ind" -> let i = get1 s dot in Ref (c (), u, Ind (i))
+ | "con" -> let i,j = get2 s dot in Ref (c (), u, Con (i,j))