X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=code%2Flambda.ml;h=146c9eb46da1c38dcd3d2b5078799ff257b5ad1d;hp=3f1435dcb2c6546b7bc4707705508b5dfcf5ba18;hb=26f6bb00d57f1cbfb02f8d774ca2affe292c8597;hpb=ef0c9e389a02522583df53477f5a4622debc4a1b

diff --git a/code/lambda.ml b/code/lambda.ml
index 3f1435dc..146c9eb4 100644
--- 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)
+