let a = rec { x=y;.. }; in let b = rce { y=x;.. }; in a // b; Should a // b be rec as well ? When does / should evaluation occur? Marc