-spec apply_args(spectra:type_info(), spectra:sp_type(), [spectra:sp_type()]) -> spectra:sp_type().

-spec fold_until_error(Fun ::
                           fun((Elem :: dynamic(), Acc :: dynamic()) ->
                                   {error, Err :: dynamic()} | {ok, Acc :: dynamic()}),
                       Acc :: dynamic(),
                       List :: [Elem :: dynamic()]) ->
                          {ok, Acc :: dynamic()} | {error, Err :: dynamic()}.

-spec fold_until_error(Fun ::
                           fun((Context :: dynamic(), Elem :: dynamic(), Acc :: dynamic()) ->
                                   {error, Err :: dynamic()} | {ok, Acc :: dynamic()}),
                       Context :: dynamic(),
                       Acc :: dynamic(),
                       List :: [Elem :: dynamic()]) ->
                          {ok, Acc :: dynamic()} | {error, Err :: dynamic()}.

-spec map_until_error(fun((Elem :: dynamic()) -> {error, Err :: dynamic()} | {ok, ResElem :: dynamic()}),
                      [Elem :: dynamic()]) ->
                         {ok, [ResElem :: dynamic()]} | {error, Err :: dynamic()}.

-spec normalize_type_ref(spectra:type_info(), spectra:sp_type_or_ref() | atom()) ->
                            spectra:sp_type_or_ref().

-spec record_replace_vars(RecordInfo ::
                              [#sp_rec_field{name :: atom(),
                                             binary_name :: binary(),
                                             type :: spectra:sp_type()}],
                          TypeArgs :: [spectra:record_field_arg()]) ->
                             [#sp_rec_field{name :: atom(),
                                            binary_name :: binary(),
                                            type :: spectra:sp_type()}].

-spec test_abs_code(module()) ->
                       {ok, spectra:type_info()} | {error, {atom(), term(), erlang:stacktrace()}}.

-spec type_replace_vars(TypeInfo :: spectra:type_info(),
                        Type :: spectra:sp_type(),
                        NamedTypes :: #{atom() => spectra:sp_type()}) ->
                           spectra:sp_type().