Code: Select all

```
INTEGER(10)
10
OP_PLUS ( 10, 10 )
20
TYPE Ntest1 POSSREP { VALUE INTEGER CONSTRAINT VALUE >= 0 };
```

Code: Select all

```
Ntest1(10)
Ntest1(10)
INTEGER(Ntest1(10))
ERROR: Could not find operator INTEGER(Ntest1) Line 1, column 16 near '10'
```

Code: Select all

```
OP_PLUS ( INTEGER ( 10 ), INTEGER ( 10 ) )
20
TYPE Ntest2 IS { INTEGER POSSREP { VALUE INTEGER CONSTRAINT VALUE < 10 } };
```

Code: Select all

```
Ntest2 ( 9 )
Ntest2("[null-Ntest2-null]")
```

There is no type with a structure like this, so it does not seem to be the MST

From the syntax of Rel, "[" is only used in the definition:

` basic_expression := order_expression ( "[" expression "]" )?

Surely "null" is specifically excluded from TTM.

In addition, when this is input, the following messages occur in DBrowser Monitor

(and continue to generate similar messages for all subsequent tests.:

Code: Select all

```
ValueAlpha: invalid component at 7 size of internal is 9 type is Ntest2
ValueAlpha: internal[0] is null
ValueAlpha: internal[1] is 9
ValueAlpha: internal[2] is null
ValueAlpha: internal[3] is null
ValueAlpha: internal[4] is null
ValueAlpha: internal[5] is null
ValueAlpha: internal[6] is null
ValueAlpha: internal[7] is null
ValueAlpha: internal[8] is null
ValueAlpha: invalid component at 7 size of internal is 9 type is Ntest2
ValueAlpha: internal[0] is null
ValueAlpha: internal[1] is 9
ValueAlpha: internal[2] is null
ValueAlpha: internal[3] is null
ValueAlpha: internal[4] is null
ValueAlpha: internal[5] is null
ValueAlpha: internal[6] is null
ValueAlpha: internal[7] is null
ValueAlpha: internal[8] is null
PanelCommandline: Unable to locate error in
used by OPERATOR Ntest21(Ntest2)
used by OPERATOR THE_VALUE(Ntest21)
used by TYPE Ntest21
Line 1
```

Code: Select all

```
INTEGER ( Ntest2 ( 9 ) )
ERROR: Cannot convert a Ntest2 to a primitive value. Line 1, column 20 near '9'
```

Code: Select all

```
TYPE Ntest21 IS { Ntest2 POSSREP { VALUE Ntest2 CONSTRAINT VALUE < 8 } };
```

Code: Select all

```
Ntest21 ( 7 )
Ntest21(Ntest21(7))
```

Code: Select all

` TYPE Ntest12 IS { Ntest1 POSSREP { VALUE Ntest1 CONSTRAINT VALUE < 7 } };`

Code: Select all

```
Ntest12 ( 8 )
ERROR: Could not find operator Ntest12(INTEGER) Line 1, column 11 near '8'
```

Code: Select all

```
Ntest21 ( 5 )
Ntest21(Ntest21(5))
INTEGER(10)
Ntest21(10)
```