Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
|
positive_integer_value_type [2015/10/11 21:52] admin ↷ Page name changed from positive_integer_type to positive_integer_value_type |
positive_integer_value_type [2015/10/11 21:58] admin |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ====== Positive Int Type ====== | + | ====== Positive Integer Value Type ====== |
| A [[wp>Positive_integer|positive integer]] denotes the positive [[wp>Integer|integers]]. | A [[wp>Positive_integer|positive integer]] denotes the positive [[wp>Integer|integers]]. | ||
| Line 19: | Line 19: | ||
| ===== Automatic Conversions ===== | ===== Automatic Conversions ===== | ||
| - | * **Converted from**: [[Double Type]], [[Non Negative Int Type]], [[Positive Int Type]] and [[Log Tag Type]]. | + | * **Converted from**: [[Real Value Type]], [[Non Negative Integer Value Type]] and [[Log Tag Type]]. |
| - | * **Converted to**: [[Double Type]], [[Non Negative Int Type]], [[Positive Int Type]], [[Bool Type]], [[Null Value Type]], [[Log Tag Type]], [[String Type]], [[Index Or Name Type]] and [[Cell Type Type|Cell Type]]. | + | * **Converted to**: [[Real Value Type]], [[Non Negative Integer Value Type]], [[Bool Type]], [[Null Value Type]], [[Log Tag Type]], [[String Type]], [[Index Or Name Type]] and [[Cell Type Type|Cell Type]]. |