let
set_checked ?(descr=
A
.name) ip ips valid =
U
.set ip ips (
Checked
{emitter=descr;valid=valid})