Trait lambda_calculus::data::list::convert::IntoPairList
[−]
[src]
pub trait IntoPairList { fn into_pair_list(self) -> Term; }
Required Methods
fn into_pair_list(self) -> Term
Performs the conversion.