Instance input_Serializer : Serializer VarD.input :=
  {| serialize := serialize_input;
     deserialize := deserialize_input;
     serialize_deserialize_id := input_serialize_deserialize_id |}.Instance raft_params : RaftParams VarD.vard_base_params :=
    raft_params n.

(* Specifications: *)
Lemma entry_serialize_deserialize_id : serialize_deserialize_id_spec entry_serialize entry_deserialize.