def read_sized

stelliferous@0.0.2.0 · storage_buffer.bend:72

import stelliferous@0.0.2.0/storage_buffer.bend as StorageBuffer

import Base

72def read_sized(~Element: Data,fallback: Element,+index: U32,+logical_length: U32,sized: Array<Element> & U32) -> Array<Element> & Element:
73  (storage,capacity) = sized
74  read_when(Element,fallback,U32.is_lt(index,logical_length) && U32.is_le(logical_length,capacity),storage,index)

Uses (8)

Used by (3)