The constructor for Gobstones lexer WrongPragmaOptionError warning.
A string indicating the selected value for the pragma option.
A string indicating the value for the pragma option used by the LexerG.
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 option is wrong wrt that given to the Gobstones lexer in the WordsDef argument.