def binding_ops():
 names = [u'existential', u'universal', u'lambda']
 for pair in zip(names, [Tokens.EXISTS, Tokens.ALL, Tokens.LAMBDA]):
  print((u'%-15s DCTB %s' % pair))

def binding_ops ( ) : names = [ u'existential' , u'universal' , u'lambda' ] for pair in zip ( names , [ Tokens . EXISTS , Tokens . ALL , Tokens . LAMBDA ] ) : print ( ( u'%-15s DCTB %s' % pair ) )
binding operators .