/stdlib/source/spec/lux/abstract/