Currently, both Raft request ids and client ids are hardcoded to nat. For some purposes, it would be more appropriate to use some other decidable type, e.g., string, for either of these ids. The most attractive solution is to parameterize the Raft transformer on any decidable types for request and client ids.
Currently, both Raft request ids and client ids are hardcoded to
nat. For some purposes, it would be more appropriate to use some other decidable type, e.g.,string, for either of these ids. The most attractive solution is to parameterize the Raft transformer on any decidable types for request and client ids.