Skip to main content

btree_insert_complexity_ty

oxilean_std::data_structures::functions

Function btree_insert_complexity_ty 

Source 
pub fn btree_insert_complexity_ty() -> Expr
Expand description

BTreeInsertComplexity : Prop — B-tree insert runs in O(log_t n) I/Os.