@type problem_tuple() :: {t(), :not_same_value, %{}, value :: term()}

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

Full definition:

problem_tuple :: {t(), :not_same_value, %{}, value :: term()}

@type t() :: %TypeCheck.Builtin.Literal{value: term()}

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

Full definition:

t :: %TypeCheck.Builtin.Literal{value: term()}