bench/check-ce/range_type_int.mlw

   1 module Range_int
   2
   3   use int.Int
   4
   5   type int32 = < range -0x8000_0000 0x7fff_ffff >
   6
   7   let f (x: int32)
   8   =
   9     assert {int32'int x < 5}
  10
  11 end