~/jendhub

def checked_add

stelliferous@0.0.2.0 · tensor_shape.bend:92

import stelliferous@0.0.2.0/tensor_shape.bend as TensorShape
import Base

92def checked_add(+left: U32,+right: U32) -> Maybe<&2,U32>:
93  sum_when(U32.is_le(right,(4294967295 - left : U32)),(left + right : U32))

Uses (6)

Used by (2)