more readable set-prelude

parent 6f6a3fbc
Pipeline #882 passed with stage
in 10 minutes and 48 seconds