Trait cop::term::Fresh[−][src]

pub trait Fresh {
    type State;
    fn fresh(st: &mut Self::State) -> Self;
}

Associated Types

`type State`[src]

Loading content...

Required methods

`fn fresh(st: &mut Self::State) -> Self`[src]

Loading content...

Implementations on Foreign Types

`impl Fresh for String`[src]

`type State = (String, usize)`

`fn fresh(st: &mut Self::State) -> Self`[src]

`impl Fresh for usize`[src]

`type State = usize`

`fn fresh(st: &mut Self::State) -> Self`[src]

Loading content...

Implementors

Loading content...