Skip to content

Commit

Permalink
Add information about combination of complex epressions
Browse files Browse the repository at this point in the history
  • Loading branch information
tvorogme authored Jul 17, 2023
1 parent dceebad commit fb116f1
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 fb116f1

Please sign in to comment.