let
print m =
Datatype
.
String
.
Map
.iter
(
fun
opt_name bval
->
debug
"opt=%s b=%b\n"
opt_name bval) m