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