Proving Reliability of Image Processing Techniques in Digital Forensics Applications

Listing 3

Data type pixel.

	Inductive pixel: Type :=
	|Pixel (r c: nat) (col: color).
	Notation “B r,c, col” (Pixel r c col).