tricu

A lazy functional language based on Tree Calculus
Log | Files | Refs | README | LICENSE

binding-certificates.json (966B)

      1 {
      2   "schema": "tricu.experimental-binding-certificates.v1",
      3   "encoding": "sha256 of canonical preorder constructor bytes (0 Leaf, 1 Stem, 2 Fork)",
      4   "authority": "compiler-owned source_binding_support; never source spelling or caller-supplied assertions",
      5   "source": "lib/source/binding_support.tri",
      6   "source_sha256": "80aa8475a9088e7634d871b032a6dc8791ecd4a34ddacd6210ee0c2924583b9d",
      7   "contracts": {
      8     "choose": {
      9       "tree_sha256": "9ec87706d9552f21c8acf5209982ff8ffd4b8c71806bcf5178eba3b53e1d8a3c",
     10       "arity": 3,
     11       "alternatives": [
     12         0,
     13         1
     14       ],
     15       "condition": 2,
     16       "condition_demand": "root constructor only; selects argument 1 for Leaf, argument 0 otherwise"
     17     },
     18     "not": {
     19       "tree_sha256": "9dad0cde222a08455e17d03746d5d3c640c317dfabe1dc66ff61b761f8dbc620",
     20       "arity": 1,
     21       "result": "Stem Leaf for Leaf input; Leaf for Stem/Fork input",
     22       "argument_demand": "root constructor only"
     23     }
     24   }
     25 }