+let add_role () =
+ let ts,os = EU.list_split st.ET.t in
+ let ws,ns = EU.list_split st.ET.w in
+ if os = [] && ns = [] then () else
+ begin match EU.list_select None st.ET.r with
+ | None ->
+ let r = {ET.v = st.ET.s; ET.o = os; ET.n = ns} in
+ st.ET.r <- EU.roles_union [false, r] st.ET.r
+ | Some r ->
+ if r.ET.v <> st.ET.s then EU.raise_error ET.EWrongVersion else
+ r.ET.o <- EU.objs_union os r.ET.o;
+ r.ET.n <- EU.names_union ns r.ET.n;
+ end;
+ st.ET.t <- ts; st.ET.w <- ws
+