Method isa

chapter17/src/main/java/com/seaofnodes/simple/type/Type.java:173–173

( Type t )

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

    /** Compute greatest lower bound in the lattice */
    public Type glb() { return _type==TCTRL ? CONTROL : BOTTOM; }