HasCASL/test/Binder.hascasl

	Binder.hascasl revision 6fc65e097da8013f5f4f96c8b343b9b48cd3d9e1
var a, b : Type
type M : Type -> Type

op __ >>= __ : M a * (a ->? M b) ->? M b
%binder __ <- __ :. __

var p : M a; q : a -> M a

. x <- p :. y <- q x :. z <- q y :. q z = p