1
2
3
4
module
Prop
// redefines prop
unfold
type
prop
=
Type0