Skip to content

Commit

Permalink
Merge pull request #305 from tvorogme/patch-8
Browse files Browse the repository at this point in the history
Add information about combination of complex epressions
  • Loading branch information
reveloper committed Jul 27, 2023
2 parents 7fadab4 + fb116f1 commit 11f0d89
Showing 1 changed file with 6 additions and 0 deletions.
6 changes: 6 additions & 0 deletions docs/develop/data-formats/tl-b-language.mdx
Original file line number Diff line number Diff line change
Expand Up @@ -258,6 +258,12 @@ _ a:(IntWithObj uint32) = IntWithUint32;

- Other `Nat` operators also allowed (look `Allowed contraints`)

Note: you can combine several complex expressions:

```tlb
_ a:(## 1) b:(## 1) c:(## 2) d:(a?(b?((c . 1)?(## 64)))) = A;
```

## Built-in types

- `#` - `Nat` 32 bits unsigned integer
Expand Down

0 comments on commit 11f0d89

Please sign in to comment.