contracts: change the contract syntax
[nit.git] / tests / sav / nitj / base_notnull_lit.res
1 Array
2 [1,5,6]
3 Range
4 [1,2,3,4,5]