0 0 0 false Color.Orange 0.0 {} Color.Orange
null null null null null
{} multiset{} [] map[] {} map[]
null null null null
0 [] 'Q' {} 0 Dt.D0(0)
false Color.Orange 42 {} false Dt.D0(false)
NonemptyList.Atom(0)
6 7 8 9
true true
IList.INil IList.ICons
IList.INil IList.INil Stream.Next IList.INil
NonemptyList.Atom(0)
NonemptyCoList.CoAtom
Color.Pink 19 -3
null null null null
System.Func`2[Dafny.BigRational,System.Boolean]
System.Func`1[System.Numerics.BigInteger]
System.Func`3[_module._IColor,Dafny.ISet`1[System.UInt16],System.UInt32]
0 0
