Commit 65a0eb0c authored by POTTIER Francois's avatar POTTIER Francois

Rename [Abstraction] to [BindingForms].

parent 38069394
open AlphaLib
open Abstraction
open BindingForms
type ('fn, 'bn) term =
| TVar of 'fn
......@@ -9,18 +9,18 @@ type ('fn, 'bn) term =
[@@deriving
visitors { variety = "iter"; public = ["visit_term"];
ancestors = ["Abstraction.iter"] }
ancestors = ["BindingForms.iter"] }
,
visitors { variety = "map"; public = ["visit_term"];
ancestors = ["Abstraction.map"] }
ancestors = ["BindingForms.map"] }
,
visitors { variety = "endo"; public = ["visit_term"];
ancestors = ["Abstraction.endo"] }
ancestors = ["BindingForms.endo"] }
,
visitors { variety = "reduce"; public = ["visit_term"];
ancestors = ["Abstraction.reduce"] }
ancestors = ["BindingForms.reduce"] }
,
visitors { variety = "iter2"; public = ["visit_term"];
ancestors = ["Abstraction.iter2"] }
ancestors = ["BindingForms.iter2"] }
]
open AlphaLib
open Abstraction
open BindingForms
(* In this demo, only type variables are handled via AlphaLib. Term variables
are represented as strings. *)
......@@ -37,11 +37,11 @@ and ('fn, 'bn) term =
(* Visitor generation. *)
[@@deriving
visitors { variety = "iter"; ancestors = ["Abstraction.iter"] },
visitors { variety = "map"; ancestors = ["Abstraction.map"] },
visitors { variety = "endo"; ancestors = ["Abstraction.endo"] },
visitors { variety = "reduce"; ancestors = ["Abstraction.reduce"] },
visitors { variety = "iter2"; ancestors = ["Abstraction.iter2"] } ]
visitors { variety = "iter"; ancestors = ["BindingForms.iter"] },
visitors { variety = "map"; ancestors = ["BindingForms.map"] },
visitors { variety = "endo"; ancestors = ["BindingForms.endo"] },
visitors { variety = "reduce"; ancestors = ["BindingForms.reduce"] },
visitors { variety = "iter2"; ancestors = ["BindingForms.iter2"] } ]
(* Type abbreviations. *)
......
Atom
Abstraction
BindingForms
KitBa
KitCopy
KitAvoid
......
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