(* Title: Native_Word_Test_OCaml.thy Author: Andreas Lochbihler, ETH Zurich *) theory Native_Word_Test_OCaml imports Native_Word_Test begin section ‹Test with OCaml› test_code test_uint64 ‹test_uint64' = 0x12› test_uint32 ‹test_uint32' = 0x12› test_uint test_casts'' test_casts_uint in OCaml end