Method str

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

()

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