4 Commits (ec9ad35e71e8f85a8a723bb890a5a9c8c014bc25)

Author	SHA1	Message	Date
grdddj	9fc5bb546b	style(core): full pyright-based type-checking ... Changes many fields to required -- as far as we were able to figure out, signing would fail if these fields aren't provided anyway, so this should not pose a compatibility problem. Co-authored-by: matejcik <ja@matejcik.cz>	3 years ago
Pavol Rusnak	0036686588	style(core/mocks): use new syntax for typing	4 years ago
Jan Pochyla	0f6f05e4b7	core/typing: fix extmod docs and mocks	5 years ago
Jan Pochyla	3af75c0b8b	core/typing: improve extmod types	5 years ago