tweak ml code/instructions

[lambda.git] / code / lambda.ml

diff --git a/code/lambda.ml b/code/lambda.ml
index 3f1435d..146c9eb 100644 (file)
--- a/code/lambda.ml
+++ b/code/lambda.ml
@@ -372,3 +372,5 @@ let pp, pn, pi = string_of_lambda, normal_string_of_lambda, int_of_lambda
 let pnv,piv= (fun expr -> string_of_lambda (cbv expr)), (fun expr -> to_int (cbv expr))
 let db, db_equal, db_contains = db, db_equal, db_contains
 
+let alpha_eq x f = db_equal (db x) (db y)
+