(masterNode := SOME node;
saveSoa ("master", #soa dns) node;
saveNamed ("master", #soa dns, masterIp, slaveIps) node)
- | _ => masterNode := NONE;
- !befores dom
- end
+ | _ => masterNode := NONE
+ end;
+ !befores dom
end,
fn () => !afters (!current))