Method isa

chapter21/src/main/java/com/seaofnodes/simple/type/Type.java:193–193

( Type t )

    // True if this "isa" t; e.g. 17 isa TypeInteger.BOT
    public boolean isa( Type t ) { return meet(t)==t; }

    // True if this "isa" t up to named structures
    public boolean shallowISA( Type t ) { return isa(t); }