15
Types
•
The type t(
x
) says:
•
•
For each i, j whether x
i
= x
j
or x
i
¹
x
j
•
•
For each R and each x
i
1
, …, x
i
p
whether
R(x
i
1
, …, x
i
p
) or
:
R(x
i
1
, …, x
i
p
)
•