Skip to main content

buffer_tree_ty

oxilean_std::data_structures::functions

Function buffer_tree_ty 

Source 
pub fn buffer_tree_ty() -> Expr
Expand description

BufferTree : Nat → Type 0 — buffer tree for batched external-memory operations.