%%% This file is part of RefactorErl.
%%%
%%% RefactorErl is free software: you can redistribute it and/or modify
%%% it under the terms of the GNU Lesser General Public License as published
%%% by the Free Software Foundation, either version 3 of the License, or
%%% (at your option) any later version.
%%%
%%% RefactorErl is distributed in the hope that it will be useful,
%%% but WITHOUT ANY WARRANTY; without even the implied warranty of
%%% MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
%%% GNU Lesser General Public License for more details.
%%%
%%% You should have received a copy of the GNU Lesser General Public License
%%% along with RefactorErl.  If not, see <http://plc.inf.elte.hu/erlang/>.
%%%
%%% The Original Code is RefactorErl.
%%%
%%% The Initial Developer of the Original Code is Eötvös Loránd University.
%%% Portions created  by Eötvös Loránd University and ELTE-Soft Ltd.
%%% are Copyright 2007-2025 Eötvös Loránd University, ELTE-Soft Ltd.
%%% and Ericsson Hungary. All Rights Reserved.


-record(type, {kind,
               value = 'any'}).

-record(funsigvalue, {arity,
                      args,
                      retval}).

-record(recvalue, {name,
                   fields}).

-record(recfield, {name,
                   type}).

-record(st_state, {success,
                   type}).

-record(cg_state, {ret_type,
                   conset}).

-define(UNION_MAX_LENGTH, 10).

-define(DEFAULT_RECURSION_LEVEL, 10).

-define(TV(X), {type_variable, X}).

-define(SLIB, refusr_spec_lib).

-define(CS, refusr_spec_cs).

-define(SOL, refusr_spec_sol).

-define(OPTTABLE, refspec_options).
