Trait Extend

pub trait Extend<I: ?Sized> {
    // Required method
    fn extend(&mut self, iterable: I) -> Result<(), String>;
}

Helper trait which allows to implement extend method.

Required Methods

fn extend(&mut self, iterable: I) -> Result<(), String>

Extends the program with some object depends to realization.

Implementors

impl<S: Symbol, I> Extend<I> for Program<S>

where I: IntoIterator<Item = (usize, S, usize, S, Move)>,