diff options
Diffstat (limited to 'src/main/java')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/types/Type.java | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/main/java/org/shedlang/compiler/types/Type.java b/src/main/java/org/shedlang/compiler/types/Type.java index fdefb86f..c4d86dda 100644 --- a/src/main/java/org/shedlang/compiler/types/Type.java +++ b/src/main/java/org/shedlang/compiler/types/Type.java @@ -1,5 +1,10 @@ package org.shedlang.compiler.types; +/** + * A type contains the minimal information required to uniquely identify a type. + * Further information, such as the methods defined on an interface, can be + * found through auxiliary data. + */ public sealed interface Type extends TypeLevelValue permits BoolType, FunctionType, IntType, StringType, TypeLevelValueType, UnitType { } |