@type problem_tuple() :: {t(), :no_match, %{}, any()}

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

Full definition:

problem_tuple :: {t(), :no_match, %{}, any()}

@type t() :: %TypeCheck.Builtin.NonNegInteger{}

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

Full definition:

t :: %TypeCheck.Builtin.NonNegInteger{}