Yes. Cruz will pick up the bulk of Rand supporters, much to the consternation of Trumpsters.
This is from someone in his SuperPac - it doesn’t say Rand Paul endorsed Cruz. However, if he had endorsed Trump - he would then be the devil.