CDuce/型別/整數

CDuce 整數可以是任意的、正的或負的。三個字面值 9 09 009 對應相同的整數。它也對應“值九的整數”的型別，它是一個包含整數 9 的單元素集合。

#print_type 9;;
-> 9

表示式

type Foo = 1 | 2 | 3 | 4

定義 Foo 型別，它對應包含前四個正整數的集合。另一種構建連續整數集合的方法

type Foo = 1--4

#print_type -1 | -2 | -3;;
-> -3---1

嚴格正整數和嚴格負整數的集合，以及它們的構造

type Positive = 1--*
type Negative = *---1
type NonNul = Positive | Negative
#print_type NonNul | 0
-> Int