Implements a checker that ensures a data model is valid as a level 2 construct.
processorImpl : L2.ProcessorImpl pos (ModelCheckingError pos)
SPI for this L2 checker. Use L2.builder
to create an L2.Processor
out
of this.
errorCatalogue : Dict Basics.Int Errors.ErrorMessage
The error catalogue for this checker.