Compartment.t list ->
object
  method activate : unit
  method deactivate : unit
  method get_combined_runcond : unit -> bool
  method orderly_run : unit -> bool
end