| [ "value", "remark"] -> Obj_flavour `Remark
| [ "value", "theorem"] -> Obj_flavour `Theorem
| [ "value", "variant"] -> Obj_flavour `Variant
+ | [ "value", "axiom"] -> Obj_flavour `Axiom
| _ -> attribute_error ())
| "class" ->
let class_modifiers = pop_class_modifiers ctxt in
| 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)
+ | Sys.Break
| Parser_failure _
| Getter_failure _ as exn ->
raise exn