ref: e1bc2dfb1c4a93d4d6def1a2a24a08165040a4b8
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 }