int toInt(bool b)
import Boolean;
true
1
false
rascal>import Boolean; ok rascal>toInt(true); int: 1 rascal>toInt(false); int: 0