disco-0.2: test/containers-reduce/expected

Loading containers-reduce.disco...
Loading num.disco...
Running tests...
  dummy: OK
  setSize2: OK
Loaded.
This expression has multiple possible types.  Some examples:
reduce : (a × a → a) × a × List(a) → a
reduce : (a × a → a) × a × Bag(a) → a
reduce : (a × a → a) × a × Set(a) → a
reduce(~+~, 0, [1 .. 10]) : ℕ
55
60
T
2351
6
7
T