Module Matrix.B

module B: MAT  with type elt = bool and type t = matrix_bool

type elt 
type t = elt array array 
val (+) : elt -> elt -> elt
val ( * ) : elt -> elt -> elt
val (-) : elt -> elt -> elt
val (~-) : elt -> elt
val (/) : elt -> elt -> elt
val elt_of_int : int -> elt
val dimx : t -> int
val dimy : t -> int
val zeroes : w:int -> h:int -> t
val init : (int -> int -> elt) -> w:int -> h:int -> t
Maps from an array to another array of possibly different type. bw and bh arguments must be greater than 0 (they default to 1), for matrix w*h the last visited index is w-bw,h-bh.
val map : ?bw:int ->
?bh:int ->
(int -> int -> elt -> 'a) -> t -> 'a array array
val iter : ?bw:int ->
?bh:int -> (int -> int -> elt -> unit) -> t -> unit
val fold : ?bw:int ->
?bh:int ->
('a -> int -> int -> elt -> 'a) -> 'a -> t -> 'a