Pplumbing_err
module Code_error : sig ... end
A programming error that should be reported upstream
module Err : sig ... end
Err is an abstraction to report located errors and warnings to the user.