Global Instance msg_Serializer : Serializer msg :=
    {| serialize := msg_serialize;
       deserialize := msg_deserialize;
       serialize_deserialize_id := msg_serialize_deserialize_id |}.Definition serialize_serverType (t : serverType) :=
  match t with
  | Follower => serialize x00
  | Candidate => serialize x01
  | Leader => serialize x02
  end.

(* Specifications: *)
Lemma serverType_serialize_deserialize_id : serialize_deserialize_id_spec serialize_serverType deserialize_serverType.