The constructor for Gobstones lexer UnknownPragmaWarning warning.
A string indicating the 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 pragma is unknown.