modus_lib::logic

Trait Ground

Source 
pub trait Ground {
    // Required method
    fn is_ground(&self) -> bool;
}

Required Methods§

Source

fn is_ground(&self) -> bool

Implementors§