def key_user

cli@0.2.0.0 · cli.bend:4814

import Base

4814def key_user(builtin: Bool, rest: Maybe<&2, String>) -> KeyStep:
4815  match builtin rest:
4816    case True{} _: KeyStop{}
4817    case False{} None{}: KeyEnd{}
4818    case False{} Some{text}: KeyNext{text}