Trait chalk_engine::context::UnificationResult
[−]
[src]
pub trait UnificationResult<C: Context> { fn into_ex_clause(self, ex_clause: &mut ExClause<C>); }