+ Some (T.Inline (k, Filename.concat in_base_uri s))
+ | T.Include s ->
+ begin
+ try Some (T.Include (List.assoc s st.requires))
+ with Not_found -> None
+ end
+ | T.Coercion obj ->
+ let s = obj ^ G.string_of_inline_kind T.Con in
+ Some (T.Coercion (Filename.concat out_base_uri s))