def storage_value

bendtorch-core@0.1.0.0 · src/tensor/read_contract.bend:96

import Base
import bendtorch-core@0.1.0.0/src/storage/main.bend as Storage

96def storage_value(result: Result<&2, &2, Storage.Error, F32>) -> Maybe<&2, F32>:
97  match result:
98    case Fail{error}:
99      None{}
100    case Done{value}:
101      Some{value}