code: def SpinTimes(spin, bias):
      
      if not isinstance(spin, int):
          raise TypeError('spin must be an int')
      if spin == -1:
          return Times(Real((-1, 1)), bias)  # -1 / 1
      elif spin == 1:
          # identity
          return bias
      else:
          raise ValueError('expected spins to be -1., or 1.')
docs: Define our own multiplication for bias times spins. This allows for
      cleaner log code as well as value checking.
  
      Args:
          spin (int): -1 or 1
          bias (:class:`pysmt.shortcuts.Symbol`): The bias
  
      Returns:
          spins * bias