module Condition:sig
..end
typet =
Ketrew_pure.Target.Condition.t
val (&&) : t -> t -> t
val chain_and : t list -> t
val program : ?returns:int ->
?host:Ketrew.EDSL.Host.t -> Ketrew.EDSL.Program.t -> t
module Volume:sig
..end
val volume_exists : Volume.t -> t
Volume.t
is present.val volume_size_greater_of_equal : Volume.t -> int -> t