;; SPDX-FileCopyrightText: © 2025 Dominick Grift <dominick.grift@defensec.nl>
;; SPDX-License-Identifier: Unlicense

(block obj

  (macro role ((role ARG1))
	 (roleattributeset roleattr ARG1))

  (macro type ((type ARG1))
	 (typeattributeset typeattr ARG1))

  (roleattribute roleattr)

  (typeattribute typeattr)

  (roletype roleattr typeattr))