let
is_true name m =
try
Datatype
.
String
.
Map
.find name m
with
Not_found
->
false