Something went wrong on our end
-
Jean-Christophe Filliâtre authored
this way, the extraction maps them to OCaml's {Stack,Queue}.length without using ZArith anymore
Jean-Christophe Filliâtre authoredthis way, the extraction maps them to OCaml's {Stack,Queue}.length without using ZArith anymore
queue.mlw 1.45 KiB