IntegerSegment

Usage

import from IntegerSegment Z

Parameter	Type	Description
Z	IntegerType	an integer type

Description

IntegerSegment(Z) implements open and closed segments of Z, i.e.a selection of equally spaced integers in a range of the form $[a,b]$ or $[a, +\infty)$.

Exports

PrimitiveType
InputType
OutputType
SerializableType
..:	Z $\to$ %	creation of a segment
	(Z, Z) $\to$ %
by:	(%, Z) $\to$ %	change the spacing
generator:	% $\to$ Generator Z	iterate over a segment
high:	% $\to$ Z	upper bound
low:	% $\to$ Z	lower bound
open?:	% $\to$ Boolean	check whether a segment is open
step:	% $\to$ Z	spacing