(This type is managed by TypeCheck, which allows checking values against the type at runtime.)
TypeCheck
@type problem_tuple() :: {t(), :no_match, %{}, any()}
Full definition:
problem_tuple :: {t(), :no_match, %{}, any()}
@opaque t()
t (opaque type)
t