next up previous contents index
Next: times! Up: ArithmeticType Previous: commutative?   Contents   Index


one?


Usage

one? x


Signature

one?: % $\to$ Boolean


Parameter Type Description
x % an element of the type


Returns

Returns the result of $x = 1$ using the semantics of $=$ of the type.



Manuel Bronstein 2004-06-28