type plane = {bytes : Stdlib.Bytes.t;stride : int;rows : int;
}type search = | Full| Logarithmic
val sad : plane -> plane -> x:int -> y:int -> (int * int) -> intval estimate :
search ->
range:int ->
plane ->
plane ->
x:int ->
y:int ->
(int * int) * int * int