Make_update_group.1-Input
type global_state
type local_state
type spec
val zkapp_segment_of_controls : Control.t list -> spec