blob: d795b3bf0f6454906f287dd2c471026b11847f05 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
(* TEST
flags = "-dsource"
* expect
*)
module type S = sig
type t
type t' := t
end
[%%expect {|
module type S = sig type t type t' := t end;;
module type S = sig type t end
|}]
|