-let inline (uri, prefix) =
- command_of_macro (G.Inline (floc, uri, prefix))
+let inline (kind, uri, prefix) =
+ let kind = match kind with
+ | T.Declarative -> G.Declarative
+ | T.Procedural -> G.Procedural None
+ in
+ command_of_macro (G.Inline (floc, kind, uri, prefix))