The constructor for Gobstones lexer UnknownLanguagePragmaWarning warning.
A string indicating the language pragma that is unknown.
Optional
span: SpanThe span in the source where the token where error was detected started. It may be undefined, in which case an Unknown span is used (with both start and end as UnknownPosition).
A Lexer warning signaling that a language pragma is unknown.