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
23

def sign_int(x: int) -> str:
    # `+` sign flag: always show the sign (Python `{:+}` → Rust `{:+}`).
    return f"{x:+}"


def sign_float(x: float) -> str:
    # Sign flag with explicit precision (bare float `:+` is deferred).
    return f"{x:+.2f}"


def sign_pad(x: int) -> str:
    # Sign composes with zero-pad + width.
    return f"{x:+05d}"


def sign_hex(x: int) -> str:
    # Sign composes with a radix type char, inside surrounding text.
    return f"[{x:+x}]"


def plain_d(x: int) -> str:
    # A bare `:d` (decimal) is the int default → plain field.
    return f"{x:d}"