3 ms·Note that this language was formerly called Alloy.by EddieRingle 11y agoNote that this language was formerly called Alloy.