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
18
19
20
21
22

def key_part(s: str) -> str:
    # split(sep, maxsplit) → at most maxsplit+1 parts.
    return s.split("=", 1)[0]


def value_part(s: str) -> str:
    return s.split("=", 1)[1]


def field_count(s: str) -> int:
    # 1-arg split (unbounded) is unchanged.
    return len(s.split(","))


def capped_count(s: str) -> int:
    # maxsplit=2 → at most 3 parts.
    return len(s.split(",", 2))


def neg_count(s: str) -> int:
    # PMAT-621: a negative maxsplit means "no limit" (split on every occurrence).
    return len(s.split(",", -1))