Open ellerh opened 10 years ago
MONO_ARRAY.copy should have type {src : array, dst : array, di : int} -> unit but currently it has { src : array, si : int, len : int option, dst : array, di : int} -> unit
{src : array, dst : array, di : int} -> unit
{ src : array, si : int, len : int option, dst : array, di : int} -> unit
MONO_ARRAY.copy should have type
{src : array, dst : array, di : int} -> unitbut currently it has{ src : array, si : int, len : int option, dst : array, di : int} -> unit