Skip to main content

bohm_theorem_ty

oxilean_std::lambda_calculus::functions

Function bohm_theorem_ty 

Source 
pub fn bohm_theorem_ty() -> Expr
Expand description

BohmTheorem: two distinct β-normal forms are separable by a context