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

import Base

def rest_verdict(rest: Bool, id: String) -> Maybe<&2, String>:
  match rest:
    case True{}: None{}
    case False{}:
      Some{String.concat(["'", id,
        "' has no Cli.rest(); give it one or read it with Cli.strs"])}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.concat