Specs

problem_tuple() :: none()

This type is managed by TypeCheck, which allows checking values against the type at runtime.

Full definition:

problem_tuple :: none()