Simplify_boxed_integer_opsmodule Simplify_boxed_nativeint : Simplify_boxed_integer_ops_intf.S with type t := Nativeint.tmodule Simplify_boxed_int32 : Simplify_boxed_integer_ops_intf.S with type t := Int32.tmodule Simplify_boxed_int64 : Simplify_boxed_integer_ops_intf.S with type t := Int64.t