registers ::
((NaturalT s ,PositiveT (s :+: D1),((s :+: D1) :>: s) ~ True )) => a -> RangedWord s ->
RangedWord s -> (RegState s a) -> (RegState s a, a )
registers ::
((NaturalT s ,PositiveT (s :+: D1),((s :+: D1) :>: s) ~ True )) => a -> RangedWord s ->
RangedWord s -> (RegState s a) -> (RegState s a, a )