% (included file)

% TODO: update! compute dynamically?

% Packages that will included in the output (and not expanded)
is_syntax_package(rtchecks).
is_syntax_package(modes).
is_syntax_package(basicmodes).
is_syntax_package(isomodes).
is_syntax_package(assertions).
is_syntax_package(regtypes).
is_syntax_package(nativeprops).
is_syntax_package(fsyntax).
is_syntax_package(chr).
is_syntax_package(clpr).
is_syntax_package(clpq).
is_syntax_package('chr/ciao/chr2').
is_syntax_package(chr2).
is_syntax_package(chr_atts).
is_syntax_package(swi_mattr_global).
is_syntax_package(mattr_global).
is_syntax_package(dcg).
is_syntax_package(pcpe_rtquery).

% TODO: use compiler
is_included_by_default(prelude).
