Bool extension Bool: SortKind getSort(_:) Returns a Bool sort. Declaration Swift public static func getSort(_ context: Z3Context) -> Z3Sort