Method isa

chapter24/src/main/java/com/seaofnodes/simple/type/Type.java:320–320

( Type t )

    // True if this "isa" t; e.g. 17 isa TypeInteger.BOT
    // Applies for pessimistic case
    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); }