Lines Matching refs:arith
187 overloading.\index{overloading|bold} We could declare $arith$ to be the
191 {+},{-},{\times},{/} & :: & [\alpha{::}arith,\alpha]\To \alpha
193 If we declare new types $real$ and $complex$ of class $arith$, then we
202 its arity as $(arith)arith$. Then we could declare the constant
215 $\alpha{::}\{arith,ord\}$, which means $\alpha$ belongs to both $arith$ and
216 $ord$. Semantically the set $\{arith,ord\}$ should be understood as the
217 intersection of the sets of types represented by $arith$ and $ord$. Such
256 \Sigma & :: & [nat,nat, nat\To \alpha{::}arith] \To \alpha