Skip to main content

binary_tree_ty

oxilean_std::constructive_mathematics::functions

Function binary_tree_ty 

Source 
pub fn binary_tree_ty() -> Expr
Expand description

BinaryTree : Type — infinite binary tree (Baire space ℕ^ℕ paths).