| Failure "int_of_string" -> parse_error ctxt "integer number expected"
| Invalid_argument "bool_of_string" -> parse_error ctxt "boolean expected"
| P.Parse_error msg -> parse_error ctxt ("parse error: " ^ msg)
| Failure "int_of_string" -> parse_error ctxt "integer number expected"
| Invalid_argument "bool_of_string" -> parse_error ctxt "boolean expected"
| P.Parse_error msg -> parse_error ctxt ("parse error: " ^ msg)