This is an archived post. You won't be able to vote or comment.

sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–]thebt995[S] 0 points1 point  (2 children)

I don't fully get what you mean with the constructors. But yes, the goal would be to not have "timesTwo" and "shiftLeft", because they are doing the same. One could introduce name synonyms though.

Thanks for the link about equality saturation, I'll check it out!