(* This file is free software, part of Dolmen. See file "LICENSE" for more details. *)

(* Printing errors *)
(* ************************************************************************ *)



(* Pipe functor *)
(* ************************************************************************ *)