Skip to main content

contracts_ensures

flux_syntax::symbols::sym

Constant contracts_ensures 

pub const contracts_ensures: Symbol;