remove extra space
This commit is contained in:
parent
b55ae6fdca
commit
2cde470b57
1 changed files with 1 additions and 1 deletions
|
@ -19,7 +19,7 @@ Assigning a value, in general, should be combined with adding a constraint:
|
||||||
|
|
||||||
> Note that operator `<--` is used for unconstrained assignment and can be easily misused. This operator does not generate constraints, which could result in unconstrained variables in the constraint system.
|
> Note that operator `<--` is used for unconstrained assignment and can be easily misused. This operator does not generate constraints, which could result in unconstrained variables in the constraint system.
|
||||||
|
|
||||||
Unconstrained assignment `<--` allows assignment to variables with complex types. The type must consist of field elements only (eg. `field[3]`):
|
Unconstrained assignment `<--` allows assignment to variables with complex types. The type must consist of field elements only (eg. `field[3]`):
|
||||||
|
|
||||||
```zok
|
```zok
|
||||||
field[3] mut c = [0; 3];
|
field[3] mut c = [0; 3];
|
||||||
|
|
Loading…
Reference in a new issue