
Dafny program verifier finished with 21 verified, 0 errors
&& || ==> <==> <= < >= > != ==
+ * - / %
operators(u8) operators(u16) operators(u32) operators(u64) operators(u128)
operators(i8) operators(i16) operators(i32) operators(i64) operators(i128)
char comparison
map contains acccess update union diff comprehension equality cardinality .Keys and .Values
set contains union diff comprehension equality cardinality inequality and intersection
sequence prefix sequence update cardinality sequence slice
multiset comparison union equality access and cardinality
Sequence index slice comparison