def sum_when

stelliferous@0.0.2.0 · tensor_shape.bend:87

import Base

87def sum_when(valid: Bool,value: U32) -> Maybe<&2,U32>:
88  match valid:
89    case True{}: Some{value}
90    case False{}: None{}