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