sig
  type t = Ketrew_target.Condition.t
  val ( && ) :
    Ketrew_edsl.Condition.t ->
    Ketrew_edsl.Condition.t -> Ketrew_edsl.Condition.t
  val chain_and : Ketrew_edsl.Condition.t list -> Ketrew_edsl.Condition.t
  val never : Ketrew_edsl.Condition.t
  val program :
    ?returns:int ->
    ?host:Ketrew_host.t -> Ketrew_edsl.Program.t -> Ketrew_edsl.Condition.t
end