Skip to main content

emp_predicate_ty

oxilean_std::program_logics::functions

Function emp_predicate_ty 

Source 
pub fn emp_predicate_ty() -> Expr
Expand description

EmpPredicate: the empty heap predicate emp. Type: HeapPred