examples/typings/__builtins__.pyi

"""Editor-only declarations for the union of Spine teaching manifests.

The Host still decides which names each execution receives. This file is never
loaded by the Guest and does not implement or authorize a tool.
"""
from typing import Any, Literal, TypedDict

inputs: dict[str, Any]

# The teaching catalog contains both numbers and strings, selected by key.
def lookup(*, key: str) -> Any: ...

def quote(*, symbol: str) -> int: ...
def cash() -> int: ...

class Order(TypedDict):
    id: int
    symbol: str
    quantity: int
    price: int
    cost: int

def buy(*, symbol: str, quantity: int) -> Order: ...

class Report(TypedDict):
    title: str
    items: int

class Notice(TypedDict):
    status: Literal["sent", "denied", "unknown"]

def get_report() -> Report: ...
def send_notification(*, message: str) -> Notice: ...

class Stats(TypedDict):
    count: int
    total: float

def report_stats(*, numbers: list[float]) -> Stats: ...