from typing import Any

from sympy.assumptions.cnf import AND, OR, Literal
from sympy.core.cache import cacheit

@cacheit
def get_all_known_facts() -> set[frozenset[OR | AND | Literal]]: ...
@cacheit
def get_known_facts_dict() -> dict[Any, Any]: ...