Make_update_group.Zkapp_command_intermediate_state
type state = {
global : Input.global_state;
local : Input.local_state;
}
type t = {
kind : [ `Same | `New | `Two_new ];
spec : Input.spec;
state_before : state;
state_after : state;