- | T.Inline (_, T.Var, src, _) -> out_alias och (UriManager.name_of_uri (UriManager.uri_of_string src)) src
+ | T.Inline (_, T.Var, src, _, _) ->
+ 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
+ *)