private void encodeTypes(List<Type> types,Map<String,Object> m,String key,Declaration from){
  if (types == null || types.isEmpty())   return;
  List<Map<String,Object>> sats=new ArrayList<>(types.size());
  for (  Type st : types) {
    sats.add(typeMap(st,from));
  }
  m.put(key,sats);
}

private void encodeTypes ( List < Type > types , Map < String , Object > m , String key , Declaration from ) { if ( types == null || types . isEmpty ( ) ) return ; List < Map < String , Object > > sats = new ArrayList < > ( types . size ( ) ) ; for ( Type st : types ) { sats . add ( typeMap ( st , from ) ) ; } m . put ( key , sats ) ; }
encodes the list of types and puts them under the specified key in the map .
