1structure IListTypes  =
2struct
3  open BoxTypes;  open MathTypes
4
5  datatype item  =
6    INoad  of  kind * hlist
7  | IPen   of  penalty
8  | ISpace of  mathSpace
9  | IStyle of  style
10
11  type ilist  =  item list
12end  (* structure IListTypes *)
13