Utils.Infix
val (--) : int -> int -> int list
Sequence: i--j is the sequence i;i+1;...;j-1;j
i--j
i;i+1;...;j-1;j