ref: 8e3b725def953776fbbaa03114c368ebb1f1372c
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 }