Skip to content
Snippets Groups Projects
Commit 77139afe authored by Alexander Rose's avatar Alexander Rose
Browse files

tweak Interval.size

parent 54476ad8
No related branches found
No related tags found
No related merge requests found
...@@ -16,7 +16,7 @@ export const start = Tuple.fst; ...@@ -16,7 +16,7 @@ export const start = Tuple.fst;
export const end = Tuple.snd; export const end = Tuple.snd;
export const min = Tuple.fst; export const min = Tuple.fst;
export function max(i: Tuple) { return Tuple.snd(i) - 1; } export function max(i: Tuple) { return Tuple.snd(i) - 1; }
export function size(i: Tuple) { return Tuple.snd(i) - Tuple.fst(i); } export const size = Tuple.diff;
export const hashCode = Tuple.hashCode; export const hashCode = Tuple.hashCode;
export const toString = Tuple.toString; export const toString = Tuple.toString;
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment