+ datatype fwnode = FirewallNode of string
+
+ datatype fwrule = Client of int list * string list
+ | Server of int list * string list
+ | ProxiedServer of int list
+ | LocalServer of int list
+
+ type firewall_rules = (user * fwnode * fwrule) list
+
+ val query : string * string -> string list