4.6 Coinductive types
The implementation contains also coinductive definitions, which are types inhabited by infinite objects. More information on coinductive definitions can be found in [
Gimenez95b
,
Gim98
].