Skip to main content

solvable_term_ty

oxilean_std::lambda_calculus::functions

Function solvable_term_ty 

Source 
pub fn solvable_term_ty() -> Expr
Expand description

SolvableTerm: a term with a head normal form