Tidak ada lari yang tertunda

ocaml_ocaml tidak memiliki lari yang tertunda untuk diverifikasi.