| [ "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