doc: drop description of BV_GBR_NONE
[barvinok.git] / tests / iscc / sum4
blob06c582b95d6f08c21acbdc48e6bcfdc503698bb5
1 r := sum { [x] -> 1 };
2 assert((r + "") = "{ NaN }");