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

from typing import Optional


def find_positive(x: int) -> Optional[int]:
    # concrete `return x` Some-wrapped; `return None` → Option::None.
    if x > 0:
        return x
    return None


def is_absent(o: Optional[int]) -> bool:
    # `is None` over an Optional → `.is_none()`.
    return o is None


def or_default(o: Optional[int], d: int) -> int:
    if o is None:
        return d
    return o