Structs§
- Rc
- A single-threaded reference-counting pointer. ‘Rc’ stands for ‘Reference Counted’.
Functions§
- boxed_
struct_ to_ dafny_ class - dafny_
array2_ ⚠to_ vec - dafny_
array_ ⚠to_ vec - dafny_
class_ to_ boxed_ struct - dafny_
class_ ⚠to_ rc_ struct - dafny_
class_ to_ struct - rc_
struct_ ⚠to_ dafny_ class - struct_
to_ dafny_ class - vec_
to_ dafny_ array