flags

open override val flags: Map<String, Term>