test-suite/bugs/closed/8532.v


1
2
3
4
5
6
7
8

(* Checking Print Assumptions relatively to a bound module *)

Module Type Typ.
  Parameter Inline(10) t : Type.
End Typ.
Module  Terms_mod (SetVars : Typ).
Print Assumptions SetVars.t.
End Terms_mod.