sig
  type t =
      [ `And of Ketrew_pure.Target.Condition.t list
      | `Command_returns of Ketrew_pure.Target.Command.t * int
      | `Never
      | `Satisfied
      | `Volume_exists of Ketrew_pure.Target.Volume.t
      | `Volume_size_bigger_than of Ketrew_pure.Target.Volume.t * int ]
  val log : Ketrew_pure.Target.Condition.t -> Internal_pervasives.Log.t
  val to_string_hum : Ketrew_pure.Target.Condition.t -> string
  val markup :
    Ketrew_pure.Target.Condition.t -> Internal_pervasives.Display_markup.t
end