Signature symbols in this unit

Symbol	Specification	Kind	Type
. * .	int-mult	f	int × int → int
. + .	int-basic2	f	int × int → int
. +1	int-basic1	f	int → int
. - .	int-abs	f	int × int → int
. -1	int-basic1	f	int → int
. < .	int-basic1	p	int × int
. > .	int-abs	p	int × int
. ≤ .	int-abs	p	int × int
. ≥ .	int-abs	p	int × int
~ .	int-abs	f	int → int
abs	int-abs	f	int → int
i	int-basic1	v	int
i0	int-basic1	v	int
int	int-basic1	s
j	int-basic1	v	int
j0	int-basic1	v	int