let status,_ =
List.fold_right2
(fun (id1,e1) ((id2,e2) as item) (status,ctx) ->
let status,_ =
List.fold_right2
(fun (id1,e1) ((id2,e2) as item) (status,ctx) ->
match e1,e2 with
`Decl t1, NCic.Decl t2 ->
let status = eq status ctx t1 t2 in
match e1,e2 with
`Decl t1, NCic.Decl t2 ->
let status = eq status ctx t1 t2 in