Updates for generating jets.md from SimplicityHL codegen

Author: schoen

jets.md.py

@@ -1,5 +1,9 @@
 #!/usr/bin/env python3
 
+# This consumes elements.json as generated by
+# https://github.com/BlockstreamResearch/SimplicityHL/tree/master/codegen
+# and generates doc/documentation/jets.md.
+
 import datetime
 import json
 import re
@@ -16,7 +20,7 @@
 
 * For example, in SimplicityHL, you check whether two integers are equal with a call to a jet such as `jet::eq_32`.
 
-Some jets allow a Simplicity program to refuse a proposed transaction by performing a mandatory assertion (these jets' return type is `unit` below). The "panic" or failure effect produced by these jets is the *only* way to decline a transaction, so every program will need to call one or more of these jets directly or indirectly.
+Some jets allow a Simplicity program to refuse a proposed transaction by performing a mandatory assertion (these jets' return type is `()` below). The "panic" or failure effect produced by these jets is the *only* way to decline a transaction, so every program will need to call one or more of these jets directly or indirectly.
 
 * For example, `jet::bip_0340_verify` checks a digital signature and refuses the transaction if the signature cannot be verified.
 
@@ -42,7 +46,7 @@ def new_section(section_name, introduction = ""):
     | ----------------------------------- | ----------- |"""
     return template.format(section_name, introduction)
 
-elements = json.load(open(sys.argv[1]))["elements"]
+elements = json.load(open(sys.argv[1]))
 
 def format_jet(name, i, o, desc):
     return "    | `{}({}) -> {}` | {} |".format(name, i, o, desc)
@@ -84,6 +88,6 @@ def format_jet(name, i, o, desc):
 
 Calling jets, where available, makes your Simplicity program smaller and faster.
 
-A few jets <a href="https://delvingbitcoin.org/t/delving-simplicity-part-two-side-effects/2091">provide behaviors that could not be achieved directly with low-level Simplicity combinators alone</a>, such as transaction introspection. Jets that can fail (those whose return type is `unit`) are the expected and only way for a Simplicity program to disapprove a proposed transaction."""
+A few jets <a href="https://delvingbitcoin.org/t/delving-simplicity-part-two-side-effects/2091">provide behaviors that could not be achieved directly with low-level Simplicity combinators alone</a>, such as transaction introspection. Jets that can fail (those whose return type is `()`) are the expected and only way for a Simplicity program to disapprove a proposed transaction."""
 
 print(footer)