Struct session_types::Rec [] [src]

pub struct Rec<P>(_);

Enter a recursive environment

Trait Implementations

impl<P: HasDual> HasDual for Rec<P>
[src]

type Dual = Rec<P::Dual>