Method str

chapter19/src/main/java/com/seaofnodes/simple/type/Type.java:234–234

()

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