@type problem_tuple() ::
  {t(), :all_failed,
   %{problems: [TypeCheck.TypeError.Formatter.problem_tuple()]}, term()}

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

Full definition:

problem_tuple :: {t(), :all_failed, %{problems: list(lazy(TypeCheck.TypeError.Formatter.problem_tuple()))}, term()}

@type t() :: %TypeCheck.Builtin.OneOf{choices: [TypeCheck.Type.t()]}

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

Full definition:

t() :: %TypeCheck.Builtin.OneOf{choices: list(TypeCheck.Type.t())}