
Dafny program verifier finished with 19 verified, 0 errors
0 0 0 false Color.Orange 0.0 {}
null null null null null
{} multiset{} [] map[] {} map[]
null null null null
0 [] {} 0 Dt.D0(0)
false Color.Orange {} 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.Color,Dafny.Set`1[System.UInt16],System.UInt32]

Dafny program verifier finished with 19 verified, 0 errors
0 0 0 false Color.Orange 0.0 {}
null null null null null
{} multiset{} [] map[] {} map[]
null null null null
0 [] {} 0 Dt.D0(0)
false Color.Orange {} 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
function () { return false; }
function () { return new BigNumber(0); }
function () { return new BigNumber(0); }

Dafny program verifier finished with 19 verified, 0 errors
0 0 0 false Color.Orange 0.0 {}
null null null null null
{} multiset{} [] map[] {} map[]
null null null null
0 [] {} 0 Dt.D0(0)
false Color.Orange {} 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
func(dafny.Real) bool
func() dafny.Int
func(main.Color, dafny.Set) uint32
