Enable automatic K deduction for Accumulation
genedan opened this issue · comments
Not all accumulation functions have K explicitly defined. It would be nice to have k as an optional argument, and when it is not given, the value for k should be extracted from the given accumulation function.