ormar-pyright-demo This is demo code for ormar issue 1291 to compare model notations vis-à-vis pyright verification.