avail/avail.compiler/ModuleHeader/pragmas

pragmas

val pragmas: MutableList<A_Token>

The pragma tokens, which are always string literals.