code: def Bool(value: "__builtins__.bool", annotations: Annotations = None) -> bool.Bool:
          
          raw = z3.BoolVal(value)
          return Bool(raw, annotations)
docs: Creates a Bool with concrete value
          :param value: The boolean value
          :param annotations: The annotations to initialize the bool with
          :return: The freshly created Bool()