code: def Or(a: Bool, b: Bool) -> Bool:
      
      union = a.annotations + b.annotations
      return Bool(z3.Or(a.raw, b.raw), annotations=union)
docs: Create an or expression.
  
      :param a:
      :param b:
      :return: