- Some (n,(C.ADef at)) -> Some (n,(C.Def (deannotate_term at)))
- | Some (n,(C.ADecl at)) ->Some (n,(C.Decl (deannotate_term at)))
- | None -> None) acontext
+ _,Some (n,(C.ADef at)) ->
+ Some (n,(C.Def (deannotate_term at)))
+ | _,Some (n,(C.ADecl at)) ->
+ Some (n,(C.Decl (deannotate_term at)))
+ | _,None -> None
+ ) acontext