dafny_runtime

Module rcmut

Source

Structs§

  • A reference counted smart pointer with unrestricted mutability.

Functions§

Type Aliases§

  • A reference counted smart pointer with unrestricted mutability.