from typing import List

def unsafe_hs_symregg_version() -> str: ...
def unsafe_hs_symregg_main() -> int: ...
def unsafe_hs_symregg_run(dataset: str, gen: int, alg: str, maxSize: int, nonterminals: str, loss: str, optIter: int, optRepeat: int, nParams: int, split: int, trace : bool, simplify : bool, dumpTo: str, loadFrom: str) -> str: ...
def unsafe_hs_symregg_init(args: List[str]) -> None: ...
def unsafe_hs_symregg_exit() -> None: ...
