Type Definition modus_lib::unification::Substitution

pub type Substitution<T = IRTerm> = HashMap<T, T>;

Trait Implementations

impl Ground for Substitution

fn is_ground(&self) -> bool