1
0
Fork 0
auts/types.v

9 lines
59 B
Coq
Raw Permalink Normal View History

2020-04-30 14:02:14 +02:00
module main
struct WorldPos {
mut:
x int
y int
z int
}