Zkapp_command_segment.Spec
type single = {
auth_type : Mina_base.Control.Tag.t;
is_start : [ `Yes | `No | `Compute_in_circuit ];
}
type t = single list