Module If_then_else

type 'a t = 'a Types.If_then_else.t = {

main	: 'a Types.Node.t	;
test	: bool Types.Node.t	;
test_change	: unit Types.Node.t	;
mutable current_branch	: 'a Types.Node.t Uopt.t	;
then_	: 'a Types.Node.t	;
else_	: 'a Types.Node.t	;

}