10 lines
160 B
Coq
10 lines
160 B
Coq
|
// V, array length
|
||
|
|
// Tectonics: v run array-length.v
|
||
|
|
module main
|
||
|
|
|
||
|
|
// access array length
|
||
|
|
pub fn main() {
|
||
|
|
arr := ["apple", "orange"]
|
||
|
|
println(arr.len)
|
||
|
|
}
|