~/jendhub

def ActM.pure

cswap-bend-cli@0.1.0.0 · store/plan.bend:303

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

303def ActM.pure(-A: Type, x: A) -> Act.of(A):
304  Act.pure(A, x)

Uses (2)

Used by (0)

No other definition uses this definition.