naive: more style
=^ f
state
%- n
- :* initial-state ::state?
+ :+ initial-state ::state?
%bat
=< q
%- gen-tx
%set-management-proxy ::tx-type.cur-event why does the tx-type not work?
(addr common-mgmt)
(~(got by default-own-keys) cur-ship)
- ==
?: .= =< address.management-proxy.own
(~(got by points.state) cur-ship)
(addr common-mgmt)
