Zarith_stubs_js (zarith_stubs_js.Zarith_stubs