def maxnomlen(atrv):
 nomtp = get_nom_val(atrv)
 return max((len(i) for i in nomtp))

def maxnomlen ( atrv ) : nomtp = get_nom_val ( atrv ) return max ( ( len ( i ) for i in nomtp ) )
given a string containing a nominal type definition .