pub fn new() -> Self {
        InferenceTable {
            unify: ena::UnificationTable::new(),
            vars: vec![],
        }
    }
/// Create an empty inference table with no variables.
Create an empty inference table with no variables.
Create an empty inference table with no variables .
pub fn new() -> Self {
        InferenceTable {
            unify: ena::UnificationTable::new(),
            vars: vec![],
        }
    }
pub fn new ( ) -> Self { InferenceTable { unify : ena :: UnificationTable :: new ( ) , vars : vec ! [ ] , } }
Create an empty inference table with no variables.
Create an empty inference table with no variables .