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