Pplumbing_err
module Err : sig ... end
Err is an abstraction to report located errors and warnings to the user.