This command is documented in DuneInstance.
See dune_instance_end() in the module page DuneInstance.
dune_instance_end()
dune_instance_begin
dune_library_add_sources