Ada程式语言中，对每个离散类型T，以四个不同的函数定义其属性。例如T`POS（X）表示参数X必须为类型T的值，函数的结果是X的位置号。T`VAL（N）表示参数N必须为整数，函数的结果是类型T的值，T的位置号是N。