fact: Definition setRaster {n m} (r:raster n m) (x:bool) (i j:nat) : raster n m := let (d) := r in raster_data n m (updateList d (fun row => updateList row (fun _ => x) j) i).
imports: CoRN.stdlib_omissions.List Coq.Arith.Arith Coq.PArith.BinPos