Skip to main content

fat_node_method_ty

oxilean_std::data_structures::functions

Function fat_node_method_ty 

Source 
pub fn fat_node_method_ty() -> Expr
Expand description

FatNodeMethod : Nat → Prop — the fat node method overhead is O(1) per update.