from typing import *


# rust/src/micropython/coveragedata.rs
def add(file: str, line: int) -> None:
    """
    Mark file line as covered.
    """


# rust/src/micropython/coveragedata.rs
def get() -> list[tuple[str, int]]:
    """
    Return a list of all covered file lines.
    """