Skip to main content

Module borrow

vstd::std_specs

Module borrow 

Source

Structs§

ExCow

Traits§

BorrowSpec
BorrowSpecImpl
ExBorrow

Functions§

axiom_string_borrow
group_borrow_axioms