Использование ключевого слова and в F # в дискриминируемых объединениях

Сегодня я столкнулся со следующими объявлениями DU:

type Grammar = Definition list

and  Definition = Def of string * Expression

and  Range =
     | Char  of char
     | Range of char * char

Почему здесь нужно использовать ключевое слово и вместо type ?