"""
The library contains basic functions and proofs that you might want to
rely on.
from .basic import kernel_from_int
__all__ = [
"kernel_from_int",
]