Module deref 

Traits

DerefSpec

This is a workaround to add an uninterpreted specification of Deref trait, as Deref is included in Verus but does not have spec functions. It may change if Verus adds native support for spec functions in the Deref trait.

Functions

arc_deref_spec

box_deref_spec

group_deref_spec

rc_deref_spec

ref_deref_spec