218def repeatedStrideOverflow :
219 (equal Nat (verdict (group (repeat 1 18446744073709551616 (stride 0 1 1))) 16 8) 7) =
220 (refl Nat 7)The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.