TEXCLASS: {
BIN: number;
CLOSE: number;
INNER: number;
NONE: number;
OP: number;
OPEN: number;
ORD: number;
PUNCT: number;
REL: number;
} = ...
Type declaration
BIN: number
CLOSE: number
INNER: number
NONE: number
OP: number
OPEN: number
ORD: number
PUNCT: number
REL: number
These are the TeX classes for spacing computations