Numerically,<div><br></div><div>wondering if there are design implications to or via defining integers (1,12) as<div dir="auto"><br></div><div dir="auto">let mod(1)=0, 0&lt;x&lt;=12<br></div><div dir="auto"><br></div><div dir="auto">as opposed to </div><div dir="auto"><br></div><div dir="auto">let mod(1):=0, 0&lt;x&lt;=12</div><div dir="auto"><br></div><div dir="auto">or</div><div dir="auto"><br></div><div dir="auto">0&lt;x&lt;=12, let mod(1)==0</div><div dir="auto"><br></div><div dir="auto">I think I mean mathematically, since none are anything more than Haskell pseudocode.</div><div dir="auto"><br></div><div dir="auto">Possibly this makes only metaphorical sense.</div><div dir="auto"><br></div><div dir="auto">Thanks in advance.</div><div dir="auto"><br></div><div dir="auto">Alfred.</div></div>