blob: 00aa66e701dfff5958ca39d220a63b70a5bf0e2e (
plain)
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.
|