Constant assume

Source
pub const assume: Symbol;