Module Elpi_parser.Error_messagesSource

Sourceval message : int -> string