231def wrongIdentity :
232 (equal
233 Nat
234 (verdict (constructor ParticipantGroup ParticipantGroupOf 200000 0 b"" (stride 0 1 1)) 16 8)
235 1) =
236 (refl Nat 1)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.