-
Jean-Christophe Filliâtre authored
- range types that fit in 31-bit signed integers are mapped to OCaml's type int (both literals and for loops) - a for loop on a type that is mapped to 'int' in the OCaml driver is translated to an OCaml for loop
fb5ed0f0