def ActM.pure

cswap-bend-cli@0.1.0.0 · swlive.bend:40

import Base
import cswap-bend-cli@0.1.0.0/act.bend as Act

40def ActM.pure(-A: Type, x: A) -> Act.of(A):
41  Act.pure(A, x)