module M : sig
  type 'a t
  val is_int : 'a t -> ('a t, int) eq
end = struct
  type 'a t = int
  let is_int (type a) (x: a t) = (Eq: (a t, int) eq)
end

open M
let foo x =
  let Eq = is_int x in x + 1