code: def upoint2bddpoint(upoint):
      
      point = dict()
      for uniqid in upoint[0]:
          point[_VARS[uniqid]] = 0
      for uniqid in upoint[1]:
          point[_VARS[uniqid]] = 1
      return point
docs: Convert an untyped point into a BDD point.
  
      .. seealso::
         For definitions of points and untyped points,
         see the :mod:`pyeda.boolalg.boolfunc` module.