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