It shoudl "just work". Fedimint uses LN nodes are liquidity between each federation and the general LN network. Or you could redeem for on-chain from Bob's mint. This is one part of the UX that is being explored and actively discussed/developed. There's really only one mature client app for fedimint and that's Fedi. I don't have insight into how they do things exactly.