Dafny Power User: Type-parameter modes: variance and cardinality preservation
Comments ⌘ Read more