contract_check_ensures

Constant contract_check_ensures 

Source
pub const contract_check_ensures: Symbol;