Commit a0da9074 authored by POTTIER Francois's avatar POTTIER Francois

Make every visitor method public.

parent f2cb826d
...@@ -36,24 +36,12 @@ and ('fn, 'bn) term = ...@@ -36,24 +36,12 @@ and ('fn, 'bn) term =
(* Visitor generation. *) (* Visitor generation. *)
[@@deriving [@@deriving
visitors { variety = "iter"; ancestors = ["Abstraction.iter"] },
visitors { variety = "iter"; public = ["visit_term"; "visit_typ"]; visitors { variety = "map"; ancestors = ["Abstraction.map"] },
ancestors = ["Abstraction.iter"] } visitors { variety = "endo"; ancestors = ["Abstraction.endo"] },
, visitors { variety = "reduce"; ancestors = ["Abstraction.reduce"] },
visitors { variety = "map"; public = ["visit_term"; "visit_typ"]; visitors { variety = "iter2"; ancestors = ["Abstraction.iter2"] } ]
ancestors = ["Abstraction.map"] }
,
visitors { variety = "endo"; public = ["visit_term"; "visit_typ"];
ancestors = ["Abstraction.endo"] }
,
visitors { variety = "reduce"; public = ["visit_term"; "visit_typ"];
ancestors = ["Abstraction.reduce"] }
,
visitors { variety = "iter2"; public = ["visit_term"; "visit_typ"];
ancestors = ["Abstraction.iter2"] }
]
(* Type abbreviations. *) (* Type abbreviations. *)
......
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