@callback export(
  workspace :: Workspace.State.t(),
  coverage_data :: [term()],
  opts :: keyword()
) ::
  :ok | {:error, String.t()}