Skip to content

A type describes a set of possible valuesΒΆ

In type theory, a type describes a set of possible values. This is usually used to declare what is possible to exist within a variable.