1signature CONST = 2sig 3 val delimiterFactor: int (* in units of 1000 *) 4 val delimiterShortfall: BasicTypes.dist 5 val nullDelimiterSpace: BasicTypes.dist 6 val scriptSpace: BasicTypes.dist 7 val infPenalty: BasicTypes.penalty 8 val relPenalty: BasicTypes.penalty 9 val binopPenalty: BasicTypes.penalty 10end (* signature CONST *) 11(*----------*) 12 13structure Const: CONST = 14struct 15 open BasicTypes 16 open Distance 17 val delimiterFactor = 901 (* units of 1000 *) 18 val delimiterShortfall = distReal 5.0 (* 5.0 pt *) 19 val nullDelimiterSpace = distReal 1.2 (* 1.2 pt *) 20 val scriptSpace = distReal 0.5 (* 0.5 pt *) 21 val infPenalty = 10000 22 val relPenalty = 500 23 val binopPenalty = 700 24end (* structure Const *) 25