HomeIsabelle/Phabricator

generalized signed_take_bit

Authored by florian.haftmann.