2 ms·

I believe this style of coding is known as “Design by contract”. Basically assigning a range and domain to each function.