gistfile1.txt

type (_, _) eq = Eq: ('a, 'a) eq

module M: sig
  type t
  type u
  val tx: t
  val ux: u
  val eq_t_int: (t, int) eq
  val eq_int_u: (int, u) eq
end = struct
  type t = int
  type u = int
  let tx = 0
  let ux = 0
  let eq_t_int = Eq
  let eq_int_u = Eq
end 

let eq_trans : type a b c. (a, b) eq -> (b, c) eq -> (a, c) eq = fun Eq Eq -> Eq
let eq_symm : type a b. (a, b) eq -> (b, a) eq = fun Eq -> Eq


let convert tx =
    let Eq = eq_trans M.eq_t_int M.eq_int_u in
    tx