/stdlib/source/lux/type/
../
auto.lux
check.lux