Binder.hascasl revision b734b51e16ca659814c11205dfb0e97d13bf7ef6
31a189d4cff554f78407cdc422480e84e99a6ec6Christian Maedervar a, b : Type
31a189d4cff554f78407cdc422480e84e99a6ec6Christian Maedertype M : Type -> Type
31a189d4cff554f78407cdc422480e84e99a6ec6Christian Maederop __ >>= __ : M a * (a ->? M b) ->? M b
31a189d4cff554f78407cdc422480e84e99a6ec6Christian Maeder%binder __ <- __ :. __
b734b51e16ca659814c11205dfb0e97d13bf7ef6Christian Maedervar x : a; p : M a; q : a -> M a
b734b51e16ca659814c11205dfb0e97d13bf7ef6Christian Maeder. x <- p :. y <- q x :. q y