register_bank ::
(RegAddr, Bit, Bit) -> -- (addr, we, d)
RegisterBankState -> -- s
(RegisterBankState, Bit) -- (s', o)
register_bank (Low, Low, _) s = -- Read r0
register_bank ::
(RegAddr, Bit, Bit) -> -- (addr, we, d)
RegisterBankState -> -- s
(RegisterBankState, Bit) -- (s', o)
register_bank (Low, Low, _) s = -- Read r0