Skip to main content

Module pin

vstd::std_specs

Module pin 

Source

Structs§

ExPin

Traits§

PinAdditionalSpecFns

Functions§

_verus_external_fn_specification_741_Pin_32__58__58__32__60__32__38__32__39_a_32_mut_32_T_32__62__32__58__58__32_get__mut⚠
axiom_pin_has_resolved
group_pin_axioms