def valid_buffer

stelliferous@0.0.2.0 · tensor_operations.bend:20

import Base
import stelliferous@0.0.2.0/tensor_view.bend as Views

20def valid_buffer(+length: Nat,capacity: U32,view: Views.View) -> Bool:
21  Nat.is_le(length,U32.to_nat(capacity)) && Views.fits(view,U32.from_nat(length))