Closed uncomputable closed 3 months ago
Generalize the scope to return values of multiple variables inside a pattern. We will use these values as function call arguments. The seeked value is returned by a Simplicity expression that is compressed.
Add supporting structs and documentation.
Supersedes #23
Generalize the scope to return values of multiple variables inside a pattern. We will use these values as function call arguments. The seeked value is returned by a Simplicity expression that is compressed.
Add supporting structs and documentation.
Supersedes #23