@type problem_tuple() :: TypeCheck.TypeError.Formatter.problem_tuple()

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

Full definition:

problem_tuple :: TypeCheck.TypeError.Formatter.problem_tuple()

@type t() :: %TypeCheck.Builtin.Lazy{
  arguments: [term()],
  function: atom(),
  module: module()
}

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

Full definition:

t :: %TypeCheck.Builtin.Lazy{module: module(), function: atom(), arguments: list(term())}