AleoHQ/leo
1
1
Fork 0
mirror of https://github.com/AleoHQ/leo.git synced 2024-12-19 07:32:26 +03:00
Code Issues Packages Projects Releases Wiki Activity

[RFC] Use x instead of * -- Eric M.'s suggestion.

Browse Source
This commit is contained in:
Alessandro Coglio 2021-09-17 10:07:10 -07:00
parent 4c816dd024
commit c491a16f36
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
docs/rfc/012-record-transaction-model.md
View File

@ -97,9 +97,9 @@ leaving the non-`const` inputs and the output for consideration.
The execution of `main` can be described as a mathematical function The execution of `main` can be described as a mathematical function
``` ```
main : Record * Record * Inputs -> Record * Record * Output main : Record x Record x Inputs -> Record x Record x Output
``` ```
where `*` is cartesian product, where `x` is cartesian product,
`Record` is the set of possible records, `Record` is the set of possible records,
`Inputs` is the set of possible inputs to `main`, and `Inputs` is the set of possible inputs to `main`, and
`Output` is the set of possible outputs from `main`. `Output` is the set of possible outputs from `main`.