Method str

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

()

    // This is used by error messages, and is a shorted print.
    public String str() { return STRS[_type]; }
}