Parse.AaPre.close: def of bend-osdev-apparmor@0.1.0.0
Import: import bend-osdev-apparmor@0.1.0.0/parse.bend as Parse
Lines 920-927 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=920&end_line=927

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

def AaPre.close(p: AaPre, src: E.AaSrc) -> AaPre:
  match p:
    case AaPre{v, a, d, s, err}:
      match d:
        case 0n:
          AaPre.fail(AaPre{v, a, 0n, s, err}, E.AaSrc.syntax(src))
        case 1n+e:
          AaPre{v, a, e, s, err}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  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=AaPre
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/parse.bend&name=AaPre.fail