~/jendhub

def advance_product

stelliferous@0.0.2.0 · tensor_view.bend:26

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

26def advance_product(product: Maybe<&2,U32>,offset: U32,room: U32) -> Maybe<&2,U32>:
27  match product:
28    case None{}: None{}
29    case Some{+increment}: address_when(U32.is_le(increment,room),offset,increment)

Uses (4)

Used by (1)