comment added

2013-10-15 17:29:07 +04:00
parent 4af0e1a4fc
commit bb522e88cf
1 changed files with 4 additions and 0 deletions
@@ -34,6 +34,10 @@ public interface TypeConstructor extends Annotated {

    boolean isSealed();

+    /**
+     * If the type is non-denotable, it can't be written in code directly, it only can appear internally inside a type checker.
+     * Examples: intersection type or number value type.
+     */
    boolean isDenotable();

    @Nullable