pub fn new_unbound_var(&mut self, level: usize) -> Type {
        Type::Var {
            typ: Rc::new(RefCell::new(TypeVar::Unbound {
                id: self.next_uid(),
                level,
            })),
        }
    }
/// Create a new unbound type that is a specific type, we just don't
/// know which one yet.
///
Create a new unbound type that is a specific type, we just don't
know which one yet.
Create a new unbound type that is a specific type we just don ' t know which one yet .
pub fn new_unbound_var(&mut self, level: usize) -> Type {
        Type::Var {
            typ: Rc::new(RefCell::new(TypeVar::Unbound {
                id: self.next_uid(),
                level,
            })),
        }
    }
pub fn new_unbound_var ( & mut self , level : usize ) -> Type { Type :: Var { typ : Rc :: new ( RefCell :: new ( TypeVar :: Unbound { id : self . next_uid ( ) , level , } ) ) , } }
Create a new unbound type that is a specific type, we just don't
know which one yet.
Create a new unbound type that is a specific type we just don ' t know which one yet .
&mut self
level
usize
&mut self
level
usize