  writeFiles schnorr6
  writeFiles checkSigHashAllTx1

noJetSubst :: (TyC a, TyC b) => Simplicity.Elements.Dag.NoJetDag a b -> WrappedSimplicity a b
noJetSubst = Simplicity.Elements.Dag.jetSubst

example_hashBlock :: ExampleNoJets (Hash, Block) Hash