sig
  type t = Ketrew_pure.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.EDSL.Host.t ->
    Ketrew.EDSL.Program.t -> Ketrew.EDSL.Condition.t
end