- | T.Coercion specs -> out_unexported och "COERCION" (snd specs)
- | T.Notation specs -> out_unexported och "NOTATION" (snd specs) (**)
- | T.Inline (_, T.Var, src, _) -> out_alias och (UriManager.name_of_uri (UriManager.uri_of_string src)) src
+ | T.Coercion specs ->
+ if !O.comments then out_unexported och "COERCION" (snd specs)
+ | T.Notation specs ->
+ if !O.comments then out_unexported och "NOTATION" (snd specs) (**)
+ | T.Inline (_, T.Var, src, _, _) ->
+ if !O.comments then out_unexported och "UNEXPORTED" src
+(* FG: we do not export variables because we cook the other object
+ * let name = UriManager.name_of_uri (UriManager.uri_of_string src) in
+ * out_alias och name src
+ *)