pub fn binary_tree_ty() -> Expr
BinaryTree : Type — infinite binary tree (Baire space ℕ^ℕ paths).
BinaryTree : Type