(* the integer is an offset to be added to each location *)
(* list of located error messages, each list is a tuple:
* - environment in string form
(* the integer is an offset to be added to each location *)
(* list of located error messages, each list is a tuple:
* - environment in string form