Skip to main content

bohm_tree_ty

oxilean_std::lambda_calculus::functions

Function bohm_tree_ty 

Source 
pub fn bohm_tree_ty() -> Expr
Expand description

BohmTree: the Böhm tree of a lambda term (possibly infinite)