def fe_gr

bend-osdev-apparmor@0.1.0.0 · PROOF.bend:219

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

219def fe_gr(+r: List<&2, G.AaGTok>, +h: U32, +ds: List<&2, List<&2, List<&2, U32>>>) -> {fe_any(r, G.AaGCuts.grow(h, ds)) == False{} : Bool}:
220  match ds:
221    case Nil{}:
222      {==}
223    case Con{d, t}:
224      match d:
225        case Nil{}:
226          fe_gr(r, h, t)
227        case Con{p, ps}:
228          fe_gr(r, h, t)