• Jean-Christophe Filliâtre's avatar
    63-bit integers · e6d53f4a
    Jean-Christophe Filliâtre authored
    new module mach.int.Refint63
    new module mach.int.MinMax63
    new module mach.matrix.Matrix63
    mach.array.Array63: type array renamed into array63
    e6d53f4a
ocaml64.drv 5.29 KB