~/jendhub

def add_offset

stelliferous@0.0.2.0 · tensor_view.bend:191

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

191def add_offset(shift: Maybe<&2,U32>,+offset: U32) -> Maybe<&2,U32>:
192  match shift:
193    case None{}: None{}
194    case Some{+value}: address_when(U32.is_le(value,(Machine.word_max() - offset : U32)),offset,value)

Uses (6)

Used by (1)