graph-rewriting-lambdascope-0.4.5: examples/flip_const_id.l

let
	flip f x y = f y x
	const x y = x
	id x = x
in flip const a id b