def AaNet.add.kind
bend-osdev-apparmor@0.1.0.0 · rule_network.bend:52
import bend-osdev-apparmor@0.1.0.0/rule_network.bend as RuleNetwork
import Base
import bend-osdev-apparmor@0.1.0.0/error.bend as E
52def AaNet.add.kind(ty: Maybe<&2, List<&2, U32>>, pr: Maybe<&2, List<&2, U32>>, r: AaNetRule, src: E.AaSrc) -> Result<&2, &2, E.AaError, AaNetRule>:
53 match ty:
54 case Some{x}:
55 Fail{E.AaSrc.syntax(src)}
56 case None{}:
57 match pr:
58 case Some{y}:
59 Fail{E.AaSrc.syntax(src)}
60 case None{}:
61 Done{r}