This module define a type configuration representing the configuration of a parser, and a type action representing the actions that can be applied to a parser configuration, only with types independent of any menhir type. These objects are intended as logs for a parser, and helper functions are provided to modify them and display them (including a TUI).

This module main use is to create a parser that can log its execution and is able to signal several errors (with the right option) from a parser generated with menhir.