Update_group.Zkapp_command_intermediate_state
type state = {
global : unit;
local : unit;
}
type t = {
kind : [ `New | `Same | `Two_new ];
spec : possible_segments;
state_before : state;
state_after : state;