Module leave 

Functions

is_leaveable 🔒

Membership states permitted to transition to Leave via a self-leave PDU. ruma’s MembershipState is #[non_exhaustive]; future variants are conservatively treated as non-leaveable.