From fb116f19d964b25108fdc7980c41a2ada65076b5 Mon Sep 17 00:00:00 2001 From: Andrey Tvorozhkov Date: Tue, 18 Jul 2023 00:57:50 +0600 Subject: [PATCH] Add information about combination of complex epressions --- docs/develop/data-formats/tl-b-language.mdx | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/docs/develop/data-formats/tl-b-language.mdx b/docs/develop/data-formats/tl-b-language.mdx index b0c1b5a940..9d81a4eef7 100644 --- a/docs/develop/data-formats/tl-b-language.mdx +++ b/docs/develop/data-formats/tl-b-language.mdx @@ -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