~/jendhub

def AaGClass.dash.kind

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

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

617def AaGClass.dash.kind(first: Bool, dash: Bool, pend: Maybe<&2, U32>) -> Nat:
618  match first:
619    case True{}:
620      0n
621    case False{}:
622      match dash:
623        case True{}:
624          2n
625        case False{}:
626          match pend:
627            case None{}:
628              0n
629            case Some{c}:
630              1n

Uses (4)

Used by (1)