Method glb

chapter23/src/main/java/com/seaofnodes/simple/type/Type.java:471–476

(boolean mem)

        };
    }
    public final Type glb(boolean mem) {
        if( isGLB(mem) ) return this;
        Type glb = recurOpen()._glb(mem).recurClose();
        assert this.isa(glb);
        return glb;
    }
    Type _glb(boolean mem) { assert is_simple(); return Type.BOTTOM; }

    Type _close() { return this; }