### 9.4.6 Fonction testant les sous-type du type DOM_LIST : subtype

subtype est une fonction qui a un argument et qui renvoie :
1 si cet argument est une séquence, et 0 sinon.
2 si cet argument est un ensemble,
10 si cet argument estun polynôme et
0 sinon.
On tape :

type(3,1,4)
type(set[3,1,4])
type(poly1[3,1,4])
type([3,1,4])

On obtient :

DOM_LIST

On tape :

subtype(3,1,4)

On obtient :

1

On tape :

subtype(set[3,1,4])

On obtient :

2

On tape :

subtype(poly1[3,1,4])

On obtient :

10

On tape :

subtype([3,1,4])

On obtient :

0