let
fprint_bool ff b =
Format
.fprintf ff
"%d"
(
if
b
then
1
else
0)