mir_assume

flux_syntax::symbols::sym

Constant mir_assume 

Source 
pub const mir_assume: Symbol;