1 2 3 4 5 6 7 8 9 10 11
Module Type Test. Section Sec. Variables (A:Type). Context (B:Type). End Sec. Fail Check B. (* used to be found !!! *) Fail Check A. End Test.