- mst = MA.initial_status ~cover ();
- dst = DA.initial_status (mk_uri si cover);
- tst = DT.initial_status (mk_uri si cover);
- ast = AP.initial_status;
- kst = Y.initial_status expand si
+ mst = MA.initial_status ();
+ dst = DA.initial_status ();
+ tst = DT.initial_status ();
+ ast = AP.initial_status ();
+ kst = Y.initial_status ()
+}
+
+let refresh_status st = {st with
+ mst = MA.refresh_status st.mst;
+ dst = DA.refresh_status st.dst;
+ tst = DT.refresh_status st.tst;
+ kst = Y.refresh_status st.kst