def Run.pure

bend-kit-commands@0.4.0.0 · commands.bend:78

import Base

78def Run.pure(-A: Type, x: A) -> Run(A):
79  IO.pure(Result<&1, &1, U32 & String, A>, Done{x})