session_types
pub struct Rec<P>(_);
Enter a recursive environment
impl<P: HasDual> HasDual for Rec<P>
type Dual = Rec<P::Dual>