| C.ACast (_,ann,_,_) -> ann
| C.AProd (_,ann,_,_,_) -> ann
| C.ALambda (_,ann,_,_,_) -> ann
+ | C.ALetIn (_,ann,_,_,_) -> ann
| C.AAppl (_,ann,_) -> ann
| C.AConst (_,ann,_,_) -> ann
| C.AAbst (_,ann,_) -> ann
match annobj with
C.ADefinition (_,ann,_,_,_,_) -> ann
| C.AAxiom (_,ann,_,_,_) -> ann
- | C.AVariable (_,ann,_,_) -> ann
+ | C.AVariable (_,ann,_,_,_) -> ann
| C.ACurrentProof (_,ann,_,_,_,_) -> ann
| C.AInductiveDefinition (_,ann,_,_,_) -> ann
;;