238def epochOverflow :
239 (equal
240 Nat
241 (verdict
242 (constructor
243 ParticipantGroup
244 ParticipantGroupOf
245 200000
246 18446744073709551616
247 b"members"
248 (stride 0 1 1))
249 16
250 8)
251 3) =
252 (refl Nat 3)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.