int printbdd(BDD b)
{
if (b==0)
return 0;
if (b==1)
return 1;
int z;
z = printbdd(bdd_high(b));
if (z)
{
printf("1");
return 1;
}
else
{
z = printbdd(bdd_low(b));
if (z)
{
printf("0");
return 1;
}
}
return 0;
}
/* ML type: bdd -> bdd */
EXTERNML value mlbdd_bdd_high(value r) /* ML */
{
return mlbdd_make(bdd_high(Bdd_val(r)));
}