export COQ_IMAGE

[JasonGross]

This should allow users who want to access COQ_IMAGE to access it by adding COQ_IMAGE to the export: list.

[JasonGross]

The build issue

# File "src/coq_elpi_builtins.ml", line 1947, characters 39-44:
  # 1947 |        let cinfo = Declare.CInfo.make ?using ~name:(Id.of_string id) ~typ:types ~impargs:[] () in
  #                                               ^^^^^
  # Error: The function applied to this argument has type
  #          ?args:Names.Name.t list -> 'a Declare.CInfo.t
  # This argument cannot be applied with label ?using
  # make[1]: *** [Makefile.coq:730: src/coq_elpi_builtins.cmo] Error 2

is unrelated to this PR

[erikmd]

This should allow users who want to access COQ_IMAGE to access it by adding COQ_IMAGE to the export: list.

LGTM, thanks!

The build issue is unrelated to this PR

Yes, I'll look into this later