Cli.Dec.pure: def of cli@0.2.0.0
Import: import cli@0.2.0.0/cli.bend as Cli
Lines 4300-4301 of cli@0.2.0.0/cli.bend: https://jend.leeeet.dev/read.txt?path=cli@0.2.0.0/cli.bend&start_line=4300&end_line=4301

import Base

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

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Dec