Ketrew API : Ketrew_pure.Target.Command

sig
  type t = { host : Ketrew_pure.Host.t; action : Ketrew_pure.Program.t; }
  val shell :
    ?host:Ketrew_pure.Host.t -> string -> Ketrew_pure.Target.Command.t
  val program :
    ?host:Ketrew_pure.Host.t ->
    Ketrew_pure.Program.t -> Ketrew_pure.Target.Command.t
  val get_host : Ketrew_pure.Target.Command.t -> Ketrew_pure.Host.t
  val log : Ketrew_pure.Target.Command.t -> Internal_pervasives.Log.t
  val markup :
    Ketrew_pure.Target.Command.t -> Internal_pervasives.Display_markup.t
  val to_string_hum : Ketrew_pure.Target.Command.t -> string
end