def rest_verdict

cli@0.2.0.0 · cli.bend:4487

import Base

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