def ActM.pure
import cswap-bend-cli@0.1.0.0/clibase.bend as Clibaseimport Base
import cswap-bend-cli@0.1.0.0/act.bend as Act
17def ActM.pure(-A: Type, x: A) -> Act.of(A):
18 Act.pure(A, x)
import cswap-bend-cli@0.1.0.0/clibase.bend as Clibaseimport Base
import cswap-bend-cli@0.1.0.0/act.bend as Act
17def ActM.pure(-A: Type, x: A) -> Act.of(A):
18 Act.pure(A, x)