Up
–
test_package+re
»
Recent
» X
Module
Recent.X
module
L :=
Z.Y
type
t
=
L.X.t
(int)
;
type
u
:= int
;
type
v
=
L.X.t
(
u
)
;