declaration:sym<core> ~~ <base>