blob: 258b3ee3de48d0c2f47a35184bee6ef5fd063c54 (
plain)
1
2
3
4
5
6
7
8
9
|
# module type S = sig type t and s = t end
# module type S' = sig type s = int end
# module type S = sig module rec M : sig end and N : sig end end
# module type S' = sig module rec N : sig end end
# type -'a t
class type c = object method m : [ `A ] t end
# module M : sig val v : (#c as 'a) -> 'a end
#
|
