Skip to main content

freshness_predicate_ty

oxilean_std::lambda_calculus::functions

Function freshness_predicate_ty 

Source 
pub fn freshness_predicate_ty() -> Expr
Expand description

FreshnessPredicate: a # t — name a is fresh in term t