Attribute Macro prusti_contracts::assert_on_expiry

source · 
#[assert_on_expiry]
Expand description

A macro for writing a two-state pledge on a function.