return to top
source
List.enum
Variant of forall_mem_zipIdx with the zipIdx argument specialized to 0.
forall_mem_zipIdx
zipIdx
0
Variant of exists_mem_zipIdx with the zipIdx argument specialized to 0.
exists_mem_zipIdx