KP.printf "<div class=\"roles-head role-color\">\n";
KP.printf "<a href=\"%s\">Roles:</a>\n" req;
KP.printf "<span class=\"count\">%s</span>\n" count
in
let each_role p b str =
KP.printf "<div class=\"roles-head role-color\">\n";
KP.printf "<a href=\"%s\">Roles:</a>\n" req;
KP.printf "<span class=\"count\">%s</span>\n" count
in
let each_role p b str =
let s = if b then " selected" else "" in
KP.printf "<div class=\"role role-color%s\">" s;
KP.printf "<a href=\"#%s\">⮞</a> " p;
KP.printf "<a href=\"%s\">%s</a>" req str;
KP.printf "</div>\n"
in
let s = if b then " selected" else "" in
KP.printf "<div class=\"role role-color%s\">" s;
KP.printf "<a href=\"#%s\">⮞</a> " p;
KP.printf "<a href=\"%s\">%s</a>" req str;
KP.printf "</div>\n"
in
if a then "object-color", "objects"
else "name-color", "names"
in
if a then "object-color", "objects"
else "name-color", "names"
in
KP.printf "<div class=\"atoms-head %s\">\n" c;
KP.printf "<a href=\"%s\">%s:</a>\n" req str;
KP.printf "<span class=\"count\">%s</span>\n" count;
KP.printf "<div class=\"atoms-head %s\">\n" c;
KP.printf "<a href=\"%s\">%s:</a>\n" req str;
KP.printf "<span class=\"count\">%s</span>\n" count;
let each_atom a p b str =
let c = if a then "object-color" else "name-color" in
let s = if b then " selected" else "" in
let each_atom a p b str =
let c = if a then "object-color" else "name-color" in
let s = if b then " selected" else "" in
| "system-save" -> EE.write_status ()
| _ -> EU.raise_error (ET.EWrongRequest (opt, arg))
with
| "system-save" -> EE.write_status ()
| _ -> EU.raise_error (ET.EWrongRequest (opt, arg))
with