pub struct IsabelleServer { /* private fields */ }
Expand description
A running Isabelle server instance.
Implementations§
Auto Trait Implementations§
impl Freeze for IsabelleServer
impl RefUnwindSafe for IsabelleServer
impl Send for IsabelleServer
impl Sync for IsabelleServer
impl Unpin for IsabelleServer
impl UnwindSafe for IsabelleServer
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