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