Method str

chapter24/src/main/java/com/seaofnodes/simple/type/Type.java:518–518

()

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