fn fresh(&mut self) -> Type {
        let mut f = String::from(".");
        f.push_str(self.unique().to_string().as_str());
        Type::Var(f)
    }
/// Generate a new temp type variable name
/// All generated names start with a dot
Generate a new temp type variable name
All generated names start with a dot
Generate a new temp type variable name All generated names start with a dot
fn fresh(&mut self) -> Type {
        let mut f = String::from(".");
        f.push_str(self.unique().to_string().as_str());
        Type::Var(f)
    }
fn fresh ( & mut self ) -> Type { let mut f = String :: from ( " " ) ; f . push_str ( self . unique ( ) . to_string ( ) . as_str ( ) ) ; Type :: Var ( f ) }
Generate a new temp type variable name
All generated names start with a dot
Generate a new temp type variable name All generated names start with a dot
&mut self
&mut self