Runtime jet type check#361

apoelstra merged 1 commit intoBlockstreamResearch:masterBlockstreamResearch/rust-simplicity:masterfrom

ivanlele:feature/dyn-context-type-checkivanlele/rust-simplicity:feature/dyn-context-type-checkCopy head branch name to clipboard