def found

stelliferous@0.0.2.0 · tensor_view.bend:123

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

123def found(address: Maybe<&2,U32>) -> Bool:
124  match address:
125    case None{}: False{}
126    case Some{value}: True{}

Uses (3)

Used by (1)