$empty: made public otherwise we can't use it
$empty: made public otherwise we can't use it

lucaswerkmeister/ceylon.language,ceylon/ceylon.language,lucaswerkmeister/ceylon.language,ceylon/ceylon.language,unratito/ceylon.language,unratito/ceylon.language,jvasileff/ceylon.language,jvasileff/ceylon.language