sig
  type tags = Tags.t
  type pathname = string
  type t = Seq of t list | Cmd of spec | Echo of string list * pathname | Nop
  and spec =
      N
    | S of spec list
    | A of string
    | P of pathname
    | Px of pathname
    | Sh of string
    | T of tags
    | V of string
    | Quote of spec
  val atomize : string list -> spec
  val atomize_paths : string list -> spec
  val execute : ?quiet:bool -> ?pretend:bool -> t -> unit
  val execute_many :
    ?quiet:bool -> ?pretend:bool -> t list -> (bool list * exn) option
  val setup_virtual_command_solver : string -> (unit -> spec) -> unit
  val search_in_path : string -> string
  val reduce : spec -> spec
  val print : Format.formatter -> t -> unit
  val to_string : t -> string
  val string_of_command_spec : spec -> string
  val string_target_and_tags_of_command_spec :
    spec -> string * string * Tags.t
  val iter_tags : (Tags.t -> unit) -> t -> unit
  val fold_pathnames : (pathname -> 'a -> 'a) -> t -> 'a -> 'a
  val digest : t -> Digest.t
  val jobs : int Pervasives.ref
  val tag_handler : (Tags.t -> spec) Pervasives.ref
  val dump_parallel_stats : unit -> unit
  val deps_of_tags : Tags.t -> pathname list
  val dep : Tags.elt list -> pathname list -> unit
end