let fold_type_info f init env = 
  Env.fold_left f init env.type_info