/* Debug pipe function */

double : x -> x * 2;
add1 : x -> x + 1;

/* Test pipe function step by step */
step1 : pipe double;
..out step1;

step2 : step1 add1;
..out step2;

step3 : step2 5;
..out step3;