Closed andreagilot-da closed 1 year ago
Some methods of the Either scala class are not currently supported in Stainless although they are particularly useful. This includes for example forall, exists, left, contains and toOption.
Either
forall
exists
left
contains
toOption
Some methods of the
Eitherscala class are not currently supported in Stainless although they are particularly useful. This includes for exampleforall,exists,left,containsandtoOption.