code: def _neg(node):
      
      if node is BDDNODEZERO:
          return BDDNODEONE
      elif node is BDDNODEONE:
          return BDDNODEZERO
      else:
          return _bddnode(node.root, _neg(node.lo), _neg(node.hi))
docs: Return the inverse of *node*.