let join c1 c2 = { over_inputs = Zone.join c1.over_inputs c2.over_inputs; under_outputs = Zone.meet c1.under_outputs c2.under_outputs; }