path: root/ocaml-binary-annot/camlp4/test/fixtures/mod2.ml

module type S = sig type t = 'a; end;
module F (A : S) = struct
  type t2 = A.t;
end;

module A = struct type t = int; end;

module type S2 = S with type t = (F A).t2;