Global Instance raft_data_Serializer : Serializer raft_data :=
    {| serialize := serialize_raft_data;
       deserialize := deserialize_raft_data;
       serialize_deserialize_id := raft_data_serialize_deserialize_id |}.

(* Specifications: *)
Lemma raft_input_serialize_deserialize_id : serialize_deserialize_id_spec serialize_raft_input deserialize_raft_input.