tree ecd9c1eb64eadf6626bc3636d4b9023e5efa9b6e
parent ba0bd32f7fe348d04f72735621aef5caf9a563a1
author Rupert Swarbrick <rswarbrick@lowrisc.org> 1622211854 +0100
committer Rupert Swarbrick <rswarbrick@gmail.com> 1623268137 +0100

[reggen] Tighten up types in reggen and add a mypy lint check

Signed-off-by: Rupert Swarbrick <rswarbrick@lowrisc.org>