Method str

chapter15/src/main/java/com/seaofnodes/simple/type/Type.java:201–201

()

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