Struct z3::IsNotApp [−][src]
pub struct IsNotApp { /* fields omitted */ }
Expand description
A struct to represent when an ast is not a function application.
Implementations
Trait Implementations
Auto Trait Implementations
impl RefUnwindSafe for IsNotApp
impl UnwindSafe for IsNotApp