mir_assume

flux_syntax::symbols::sym

Constant mir_assume 

pub const mir_assume: Symbol;