xpile 0.1.615

Polyglot transpile workbench (Python/C/C++/Rust/Ruchy/Lean ↔ Rust/Ruchy/PTX/WGSL/SPIR-V) with provable contracts at every layer.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

# PMAT-502g (Tranche 2): set algebra on set[int] operands.
# `|` union, `&` intersection, `-` difference, `^` symmetric difference.
# Each returns a new set (operands unchanged).
def union_op(a: set[int], b: set[int]) -> set[int]:
    return a | b


def intersect_op(a: set[int], b: set[int]) -> set[int]:
    return a & b


def diff_op(a: set[int], b: set[int]) -> set[int]:
    return a - b


def symdiff_op(a: set[int], b: set[int]) -> set[int]:
    return a ^ b