2 lines
46 B
Coq
2 lines
46 B
Coq
|
[func [[N F] : [dup N F check i] ] view map].
|
|
|
[func [[N F] : [dup N F check i] ] view map].
|