rhi/aoc2020
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

use operator name in print_fold

Browse source
This commit is contained in:
Rhiannon Morris 2020-12-03 15:24:43 +01:00
parent 6ac8be6984
commit e0b2dfe566
3 changed files with 36 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

3
misc.mli
View file

@ -8,6 +8,9 @@ type 'a monoid =
op: 'a -> 'a -> 'a;
op_name: string;
pp: Format.formatter -> 'a -> unit}
val fold_list: 'a monoid -> 'a list -> 'a
val mult: int monoid
val add: int monoid