QPQ-AG/sophia
10
0
Fork 0
Code Issues 41 Pull Requests 5 Actions Packages Projects Releases 16 Wiki Activity

Fix stdlib doc

Browse Source
This commit is contained in:
Hans Svensson 2021-07-13 20:01:54 +02:00
parent 5784f074a6
commit 9d76e6186a
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
docs/sophia_stdlib.md
View File

@ -362,7 +362,7 @@ namespace Chain =
#### tx_hash
```
Auth.tx_hash : option(Chain.tx)
Auth.tx_hash : option(hash)
```
Gets the transaction hash during authentication.
@ -824,7 +824,7 @@ payable contract Auction =
stateful entrypoint sell(amount) =
require(amount >= 0, "negative_amount")
...
main contract Market =
type state = list(Auction)
entrypoint init() = []
@ -876,7 +876,7 @@ payable contract interface Auction =
entrypoint init : (int, string) => void
stateful payable entrypoint buy : (int) => ()
stateful entrypoint sell : (int) => ()
main contract Market =
type state = list(Auction)
entrypoint init() = []