(* This file intentionally hides Coq.Arith.Le *)

Definition a := 0.