Unknown

class caqtus.types.iteration.Unknown

Bases: object

Instances of this class represent an unknown positive integer.

It can be added or multiplied with a positive integer. It is absorbent for addition and for multiplication with a non-zero operand. Multiplication by zero return zero.