2 lines
12 B
Coq
2 lines
12 B
Coq
|
|
sizeof(i64)
|
|
|
sizeof(i64)
|