Trait identity::lift::Sigma
[−]
[src]
pub trait Sigma<TF> where TF: TyFun<Self::Param>, TF::Result: Sized {
type Param;
fn fst(self) -> Self::Param;
fn snd(self) -> TF::Result;
}