Cli.check: def of cli@0.2.0.0
Import: import cli@0.2.0.0/cli.bend as Cli
Lines 4979-4982 of cli@0.2.0.0/cli.bend: https://jend.leeeet.dev/read.txt?path=cli@0.2.0.0/cli.bend&start_line=4979&end_line=4982

import Base

def check(~A: Type, ~decode: @+m: Matches -> Dec(A), +c: Cmd) ->
    List<&2, Problem>:
  List.append(&2, Problem, problems(c),
    sample_bugs(~A, ~decode, sample_paths(c), c))

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Cmd
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Dec
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Matches
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Problem
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=problems
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=sample_bugs
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=sample_paths