~/jendhub

def AaGExp.close.go

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

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

756def AaGExp.close.go(n: Nat, o: List<&2, List<&2, AaGTok>>, alts: List<&2, List<&2, AaGTok>>, rest: List<&2, AaGFrame>, ok: Bool) -> AaGExp:
757  match n:
758    case 0n:
759      AaGExp{o, rest, False{}}
760    case 1n+m:
761      AaGExp{AaGSeqs.product(alts, o), rest, ok}

Uses (7)

Used by (1)