- CicNotationParser.parse_level2_meta (Stream.of_string blob) ]
- ->
- (CicNotationParser.parse_level1_pattern (Stream.of_string s), assoc, prec, p2)
+ add_raw_attribute ~context:`Meta ~text:blob
+ (CicNotationParser.parse_level2_meta (Stream.of_string blob))
+ ] ->
+ (add_raw_attribute ~text:s
+ (CicNotationParser.parse_level1_pattern (Stream.of_string s)),
+ assoc, prec, p2)