pub struct UniqueNameGenerator { /* private fields */ }Implementations§
Source§impl UniqueNameGenerator
impl UniqueNameGenerator
pub fn unique_names_in_term(&mut self, term: &mut Term)
Trait Implementations§
Source§impl Default for UniqueNameGenerator
impl Default for UniqueNameGenerator
Source§fn default() -> UniqueNameGenerator
fn default() -> UniqueNameGenerator
Returns the “default value” for a type. Read more
Auto Trait Implementations§
impl Freeze for UniqueNameGenerator
impl RefUnwindSafe for UniqueNameGenerator
impl Send for UniqueNameGenerator
impl Sync for UniqueNameGenerator
impl Unpin for UniqueNameGenerator
impl UnwindSafe for UniqueNameGenerator
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more