Z3Bool public extension Z3Bool getSort(_:) Gets the statically-typed Z3Sort associated with Bool from this Z3Bool. Declaration Swift static func getSort(_ context: Z3Context) -> Z3Sort !(_:) Declaration Swift prefix static func ! (rhs: Z3Bool) -> Z3Bool &&(_:_:) Declaration Swift static func && (lhs: Z3Bool, rhs: Z3Bool) -> Z3Bool ||(_:_:) Declaration Swift static func || (lhs: Z3Bool, rhs: Z3Bool) -> Z3Bool