4 lines
56 B
Coq
4 lines
56 B
Coq
|
name := 'Bob'
|
||
|
|
age := 20
|
||
|
|
large_number := i64(9999999999)
|