[−][src]Trait nar::syntax::core::subst::DeBruijn

pub trait DeBruijn {
    fn dbi_view(&self) -> Option<DBI>;
    fn from_dbi(dbi: DBI) -> Self;
}

Required methods

`fn dbi_view(&self) -> Option<DBI>`

`fn from_dbi(dbi: DBI) -> Self`

Loading content...

Implementors

`impl DeBruijn for Elim`[src]

`fn dbi_view(&self) -> Option<DBI>`[src]

`fn from_dbi(dbi: DBI) -> Self`[src]

`impl DeBruijn for Term`[src]

`fn dbi_view(&self) -> Option<DBI>`[src]

`fn from_dbi(dbi: DBI) -> Self`[src]

`impl DeBruijn for Val`[src]

`fn dbi_view(&self) -> Option<DBI>`[src]

`fn from_dbi(dbi: DBI) -> Self`[src]

Loading content...