- | "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 b,i = get2 s dot in Ref (c (), u, Ind (b=1,i))
- | "con" -> let i,j = get2 s dot in Ref (c (), u, Con (i,j))
+ | "dec" -> Ref (u, Decl)
+ | "def" -> let i = get1 s dot in Ref (u, Def i)
+ | "fix" -> let i,j,h = get3 s dot in Ref (u, Fix (i,j,h))
+ | "cfx" -> let i = get1 s dot in Ref (u, CoFix (i))
+ | "ind" -> let b,i,l = get3 s dot in Ref (u, Ind (b=1,i,l))
+ | "con" -> let i,j,l = get3 s dot in Ref (u, Con (i,j,l))