Commit 76d423e4 authored by POTTIER Francois's avatar POTTIER Francois

Add a test.

parent 4ae9d8b0
type ('a, 'b) dictionary =
| Empty
| NonEmpty of 'a * 'b * ('a, 'b) dictionary
[@@deriving visitors { variety = "map"; polymorphic = ["'b"] }]
type ('a, 'b) dictionary2 =
| Empty
| NonEmpty of 'a * 'b * ('a, 'b) dictionary2
[@@deriving visitors { name = "map2"; variety = "map"; polymorphic = ["'b"; "'env"] }]
dictionary
fold
mapReduce
map_from_fold
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment