Infinite type

A type that has infinitely many inhabitants (like nat, string, or list), as opposed to finite types like bool or enums with fixed members.

A type that has infinitely many inhabitants (like nat, string, or list), as opposed to Finite types like bool or enums with fixed members.