Skip to main content

range_tree_query_complexity_ty

oxilean_std::data_structures::functions

Function range_tree_query_complexity_ty 

Source 
pub fn range_tree_query_complexity_ty() -> Expr
Expand description

RangeTreeQueryComplexity : Prop — range tree answers queries in O(log^d n + k).