Module Elpi_parser.Error_messages

val message : int -> string