Parse.AaBuild.close: def of bend-osdev-apparmor@0.1.0.0
Import: import bend-osdev-apparmor@0.1.0.0/parse.bend as Parse
Lines 1687-1700 of bend-osdev-apparmor@0.1.0.0/parse.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-apparmor@0.1.0.0/parse.bend&start_line=1687&end_line=1700

import Base
import bend-osdev-apparmor@0.1.0.0/error.bend as E

def AaBuild.close(b: AaBuild, src: E.AaSrc) -> AaBuild:
  match b:
    case AaBuild{fs, top, err}:
      match fs:
        case Nil{}:
          AaBuild.fail(AaBuild{Nil{}, top, err}, E.AaSrc.syntax(src))
        case Con{f, rest}:
          match f:
            case AaFrame{p, h, full, q, s}:
              match p:
                case None{}:
                  AaBuild{rest, top, err}
                case Some{x}:
                  AaBuild.finish(x, h, rest, top, err, s)

Uses (8):
  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=bend-osdev-apparmor@0.1.0.0/error.bend&name=AaSrc
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/error.bend&name=AaSrc.syntax
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/parse.bend&name=AaBuild
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/parse.bend&name=AaBuild.fail
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/parse.bend&name=AaBuild.finish
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/parse.bend&name=AaFrame