Commit 27c51334 authored by POTTIER Francois's avatar POTTIER Francois

Comment.

parent 54cfa66c
(* Examples of mixing the monomorphic and polymorphic modes. *)
(* with a monomorphic 'env : *)
type ('a, 'b) dictionary =
| Empty
| NonEmpty of 'a * 'b * ('a, 'b) dictionary
[@@deriving visitors { variety = "map"; polymorphic = ["'b"] }]
(* with a polymorphic 'env : *)
(* dubious though, since the method [visit_'a] cannot use [env] *)
type ('a, 'b) dictionary2 =
| Empty
| NonEmpty of 'a * 'b * ('a, 'b) dictionary2
......
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