Source

ocamlspot / tests / override_x.ml

Full commit
module M = struct
  type x = (* type Foo => *) Foo (* <= type Foo *)
  let (* x1 => *) x (* <= x1 *) = 1
  let y = x (* ? x1 *)
  let (* x2 => *) x (* <= x2 *) = 2
  let z = x (* ? x2 *)
  let _ = Foo (* ? type Foo *)
end

let _ = M.x (* ? x2 *)
let _ = M.Foo (* ? type Foo *)