-
Jean-Christophe Filliâtre authored
maps Why3 type int to OCaml type int this is of course unsafe, unless one has proved absence of overflows
ba956b8f
maps Why3 type int to OCaml type int this is of course unsafe, unless one has proved absence of overflows