(* SPDX-License-Identifier: AGPL-3.0-or-later *)
(* Copyright Â© 2021-2024 OCamlPro *)
(* Written by the Owi programmers *)

val cmd :
     bool
  -> int
  -> Fpath.t option
  -> bool
  -> string
  -> int
  -> string
  -> Fpath.t list
  -> Fpath.t list
  -> bool
  -> bool
  -> bool
  -> bool
  -> bool
  -> bool
  -> Cmd_sym.fail_mode
  -> bool
  -> bool
  -> Smtml.Solver_dispatcher.solver_type
  -> unit Result.t
