Felix 112:紧线性类型