Skip to main content

range_tree_ty

oxilean_std::data_structures::functions

Function range_tree_ty 

Source 
pub fn range_tree_ty() -> Expr
Expand description

RangeTree : Nat → Type 0 — range tree for orthogonal range queries.