Check.reads.want: def of shake@0.7.0.0
Import: import shake@0.7.0.0/src/check.bend as Check
Lines 244-250 of shake@0.7.0.0/src/check.bend: https://jend.leeeet.dev/read.txt?path=shake@0.7.0.0/src/check.bend&start_line=244&end_line=250

import Base

# a read of an argument that is, or is not, a flag
def reads.want(want: Want, flag: Bool, +path: List<&2, String>, +name: String) -> List<&2, ReadErr>:
  match want:
    case WantFlag{}:
      reads.one(Bool.not(flag), NotFlag{path, name})
    case WantValue{}:
      reads.one(flag, IsFlag{path, name})

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/check.bend&name=ReadErr
  https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/check.bend&name=Want
  https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/check.bend&name=reads.one