Commit 9b95c997 authored by POTTIER Francois's avatar POTTIER Francois


parent 2b7989aa
......@@ -83,7 +83,9 @@ end
these methods polymorphic.
We could give the user a choice by providing multiple base classes, but that
would messy. *)
would messy. Note that, when using [@@deriving visitors { ... }], the user
does have a choice whether the generated methods should be polymorphic in
['env]. *)
(* -------------------------------------------------------------------------- *)
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