blob: cfd91a2eb45d5bfc2e453cc445d51667cc3f21bd (
plain)
1
2
3
4
5
6
7
|
(* Circular substitution check in subtyping verification *)
Module Type S. End S.
Module Type T. Declare Module M:S. End T.
Module N:S. End N.
Module NN <: T. Module M:=N. End NN.
Module P <: T with Module M:=NN := NN.
|