def AaGlob.of_lex

bend-osdev-apparmor@0.1.0.0 · glob.bend:847

import Base

847def AaGlob.of_lex(st: AaGLex) -> Maybe<&2, AaGlob>:
848  match st:
849    case AaGLex{m, p, sl, st0, d, out, ok}:
850      match d:
851        case 0n:
852          match ok:
853            case True{}:
854              AaGlob.of_flat(AaGFlat.rev_onto(out, Nil{}))
855            case False{}:
856              None{}
857        case 1n+e:
858          None{}