ref: 3ec885ae37703028d40d8308bfe1a017307a5e4e
dir: /libstd/sleq.myr/
pkg std =
generic sleq : (a : @a[:], b : @a[:] -> bool)
;;
generic sleq = {a, b
var i
if a.len != b.len
-> false
;;
for i = 0; i < a.len; i++
if a[i] != b[i]
-> false
;;
;;
-> true
}