def from_os.fin

bend-kit-random@0.1.0.1 · random.bend:156

import bend-kit-random@0.1.0.1/random.bend as Random
import Base

156def from_os.fin(e: Result<&1, &1, U32 & String, U32 & U32 & U32 & U32>) ->
157  Result<&1, &1, U32 & String, Rng>:
158  match e:
159    case Fail{err}:
160      Fail{err}
161    case Done{(a, b, c, d)}:
162      Done{from_state(a, b, c, d)}

Uses (7)

Used by (1)