- | comment { [T.Comment $1] }
- | macro_step { $1 }
- | set unexports FS { [T.Unexport ($1 ^ fst $2 ^ $3)] }
- | notation unexports FS { [T.Notation ($1 ^ fst $2 ^ $3)] }
- | error { out "ERROR" "item"; failwith "item" }
+ | OQ verbatims CQ { [T.Comment $2] }
+ | macro_step { $1 }
+ | set unexports FS { [T.Unexport ($1 ^ fst $2 ^ trim $3)] }
+ | notation unexports FS { notation ($1 ^ fst $2 ^ trim $3) }
+ | error { out "ERROR" "item"; failwith "item" }