(* create an index for each constructor *)
-(* current max is 145 *)
+(* current max is 146 *)
(* doesn't really work - requires that identical terms with no token
subterms (eg dots) not appear on the same line *)
| Ast0.Exp(exp) -> [83]
| Ast0.TopExp(exp) -> [141]
| Ast0.Ty(ty) -> [124]
+ | Ast0.TopInit(init) -> [146]
| Ast0.Dots(d,whencode) -> [84]
| Ast0.Circles(d,whencode) -> [85]
| Ast0.Stars(d,whencode) -> [86]