def AaDbus.set

bend-osdev-apparmor@0.1.0.0 · rule_dbus.bend:64

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

64# slot i of the list set to g; None if it is set already
65def AaDbus.set(n: Nat, xs: List<&2, Maybe<&2, G.AaGlob>>, g: G.AaGlob) -> Maybe<&2, List<&2, Maybe<&2, G.AaGlob>>>:
66  match n:
67    case 0n:
68      match xs:
69        case Nil{}:
70          None{}
71        case Con{x, rest}:
72          match x:
73            case None{}:
74              Some{Con{Some{g}, rest}}
75            case Some{h}:
76              None{}
77    case 1n+m:
78      match xs:
79        case Nil{}:
80          None{}
81        case Con{x, rest}:
82          AaDbus.set.cons(x, AaDbus.set(m, rest, g))