Ocaml_intrinsics_kernel.Naive_ints
module type Intlike = sig ... end
module Make (I : Intlike) : sig ... end