diff --git a/docs/sophia_stdlib.md b/docs/sophia_stdlib.md index a6c4b10..89cc667 100644 --- a/docs/sophia_stdlib.md +++ b/docs/sophia_stdlib.md @@ -795,7 +795,9 @@ The `value` argument (default `0`) is equivalent to the value in the contract creation transaction – it sets the initial value of the newly created contract charging the calling contract. Note that this won't be visible in `Call.value` in the `init` call of the new contract. It will be included in -`Contract.balance`, however. +`Contract.balance`, however. The resulting contract's public key can be +predicted and in case it happens to have some funds before its creation, its +balance will remain or be increased by the `value` parameter. The type `'c` must be instantiated with a contract.