Attribute Macro make_spec_type
#[make_spec_type]Expand description
Automate generating spec types and their View/DeepView implementations https://github.com/verus-lang/verus/pull/1798
#[make_spec_type]Automate generating spec types and their View/DeepView implementations https://github.com/verus-lang/verus/pull/1798