9 lines
215 B
Coq
9 lines
215 B
Coq
|
// Null or nil not used, default values for various primitive types/variables instead:
|
||
|
|
|
||
|
|
a_string :=''
|
||
|
|
a_bool := false
|
||
|
|
an_int := 0
|
||
|
|
[3]string{} // ['', '', '']
|
||
|
|
[3]bool{} // [false, false, false]
|
||
|
|
[3]int{} // [0, 0, 0]
|