- | T.Include inc -> () (* *)
- | T.Coercion coercion -> () (* *)
- | T.Notation notation -> () (* *)
- | T.Inline iniline -> () (* *)
- | T.Comment comment -> () (* out_comment och comment *)
- | T.Unexport unexport -> () (* *)
+ | T.Include inc -> out_unexported och "INCLUDE" inc (**)
+ | T.Coercion coercion -> out_unexported och "COERCION" coercion (**)
+ | T.Notation notation -> out_unexported och "NOTATION" notation (**)
+ | T.Inline (_, uri) -> out_command och (inline uri)
+ | T.Comment comment -> out_comment och comment
+ | T.Unexport unexport -> out_unexported och "UNEXPORTED" unexport