Follow
Model theory types are pretty clear. Composites of types are pretty easy to think about like:
const int a = 1;
It is possible to even extend them to Ada like:
subtype Capital_Letter is Character range 'A' .. 'Z';
Model theory types are pretty clear. Composites of types are pretty easy to think about like:
const int a = 1;
It is possible to even extend them to Ada like:
subtype Capital_Letter is Character range 'A' .. 'Z';