def step
import bend-kit-postgres@0.3.0.0/scram.bend as Scramimport Base
194def step(m: IO(Result<&1, &1, U32 & String, String>), k: String -> IO(Result<&1, &1, U32 & String, Final & String>)) -> IO(Result<&1, &1, U32 & String, Final & String>):
195 do IO<Result<&1, &1, U32 & String, Final & String>>:
196 r : Result<&1, &1, U32 & String, String> <- m
197 step.of(r, k)