def finish_address

stelliferous@0.0.2.0 · tensor_view.bend:21

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

21def finish_address(valid: Bool,offset: U32) -> Maybe<&2,U32>:
22  match valid:
23    case False{}: None{}
24    case True{}: Some{offset}

Uses (3)

Used by (1)