keen/range

Source
This is a standard module and does not need to be explicitly imported.
range[t] record -new
low t
high t
low is inclusive and high is exclusive. Use .. to construct a range.
..[t] t range(low t, high t) t equal, t compare
forward-rangeable[t] spec t equal, t compare
next t(a t)
difference[t] spec
difference nat64(a t, b t)
subtract-to-nat[t] spec
- nat64(a t, b t)
difference[t] nat64(a t, b t) t subtract-to-nat
rangeable[t] spec t forward-rangeable
prev t(a t)
size[t] nat64(a t range) t difference
is-empty[t] bool(a t range) t equal
some[t] bool(a t range, f bool mut(t)) t forward-rangeable
some-reverse[t] bool(a t range, f bool mut(t)) t rangeable
subscript nat64 range(a nat64 range, b nat64 range)
range-iterator[t] record mut (has private fields)
begin[t] t range-iterator(a t range)
end[t] t range-iterator(a t range)
take-prev[t] t(a t range-iterator) t rangeable
take-next[t] t(a t range-iterator) t forward-rangeable
in[t] bool(a t, b t range) t compare
clamp[t] t(a t, range t range) t rangeable