~/jendhub

def AaGLex.close.go

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

import bend-osdev-apparmor@0.1.0.0/glob.bend as Glob
import Base

482def AaGLex.close.go(d: Nat, out: List<&2, AaGFlat>, ok: Bool, p: U32) -> AaGLex:
483  match d:
484    case 0n:
485      AaGLex{AaGMNorm{}, 125, False{}, False{}, 0n, out, False{}}
486    case 1n+e:
487      AaGLex{AaGMNorm{}, 125, False{}, False{}, e, Con{AaGFClose{}, out}, ok}

Uses (7)

Used by (1)