Proving Reliability of Image Processing Techniques in Digital Forensics Applications

Listing 19

Adding the run-lengths of an image.

	Fixpoint sumrunlen (runl: list nat): nat :=
	match runl with
	| nil ⇒ 0
	|r:tl ⇒ r + (sumrunlen tl)
	end.