make notation point to transparent versions of bitshift.

mit-plv / bbv

Bedrock Bit Vector Library

MIT License

27 stars 23 forks source link

Closed gmalecha closed 6 years ago

gmalecha commented 6 years ago

note this shouldn't break anyone because up until a few days ago the notation didn't work anyways.

samuelgruetter commented 6 years ago

:+1: I was about to suggest the same :wink: