~/jendhub

def Dec.pure

cli@0.2.0.0 · cli.bend:4300

import cli@0.2.0.0/cli.bend as Cli
import Base

4300def Dec.pure(-A: Type, x: A) -> Dec(A):
4301  Done{x}

Uses (2)

Used by (0)

No other definition uses this definition.