Signed_command_payload.Legacy_token_id
val default : ( Snark_params.Tick.Field.t, bool ) Random_oracle_input.Legacy.t
val default_checked : ( Snark_params.Tick.Field.Var.t, Snark_params.Tick.Boolean.var ) Random_oracle_input.Legacy.t