Up
–
Recent
» X
Module
Recent.X
module
L :=
Z.Y
type
t
=
int
Z.Y.X.t
type
u
:= int
type
v
=
u
Z.Y.X.t