def checked_add_to

stelliferous@0.0.2.0 · tensor_shape.bend:95

import Base

95def checked_add_to(left: Maybe<&2,U32>,right: U32) -> Maybe<&2,U32>:
96  match left:
97    case Some{left}: checked_add(left,right)
98    case None{}: None{}