Commit c15fb49b authored by POTTIER Francois's avatar POTTIER Francois

An irregular type in [monopoly.ml].

parent 09b2cee7
type ('a, 'b) data =
| DataNil
| DataCons of 'a * 'b * ('a, 'b) data
and 'a seq =
| Nil
| Zero of ('a * 'a) seq
| One of 'a * ('a * 'a) seq
[@@deriving visitors { variety = "iter"; polymorphic = ["a"] },
visitors { variety = "map"; polymorphic = ["a"] },
visitors { variety = "endo"; polymorphic = ["a"] },
......
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