def pure

cswap-bend-cli@0.1.0.0 · act.bend:11

import Base
import cswap-bend-cli@0.1.0.0/fs.bend as Fs

11def pure(-A: Type, x: A) -> of(A):
12  IO.pure(Fs.Res(A), Done{x})