fact: Definition InRange_dec a minRange maxRange : {minRange <= a <= maxRange} + {~ (minRange <= a <= maxRange)}.
imports: Coq.Arith.Compare_dec Coq.ZArith.ZArith Fiat.QueryStructure.Specification.Representation.QueryStructureNotations