+cs alias Tags: Mobile edit Mobile web edit |
+uint Tags: Mobile edit Mobile web edit |
||
Line 191: | Line 191: | ||
"int ≥ 0", |
"int ≥ 0", |
||
"n ∈ ℕ₀", |
"n ∈ ℕ₀", |
||
"ℕ₀" |
"ℕ₀", |
||
"uint" |
|||
] |
] |
||
}, |
}, |