public void ReplaceTypeWithPredefined (TypeSpec ts, BuildinTypeSpec pts) { var found = types [ts.Name]; cached_types.Remove (ts.Name); if (found.Count == 1) { types[ts.Name][0] = pts; } else { throw new NotImplementedException (); } }