From: Matthijs Kooijman Date: Thu, 18 Jun 2009 08:58:54 +0000 (+0200) Subject: Add is_wild function to check for wild binders. X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=1c0c371527493b595d8ee767c1ed5cedc0891a30;hp=1c0c371527493b595d8ee767c1ed5cedc0891a30;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git Add is_wild function to check for wild binders. ---