fn fresh_type_with_place(&mut self, ty: MLType) -> PType {
        PType {
            ty: self.fresh_type(ty),
            reg: self.fresh_reg_var(),
        }
    }
/// Returns a fresh type with a place.
/// Assumes `self` is a consistent basis.
Returns a fresh type with a place.
Assumes `self` is a consistent basis.
Returns a fresh type with a place . Assumes ` self ` is a consistent basis .
fn fresh_type_with_place(&mut self, ty: MLType) -> PType {
        PType {
            ty: self.fresh_type(ty),
            reg: self.fresh_reg_var(),
        }
    }
fn fresh_type_with_place ( & mut self , ty : MLType ) -> PType { PType { ty : self . fresh_type ( ty ) , reg : self . fresh_reg_var ( ) , } }
Returns a fresh type with a place.
Returns a fresh type with a place .
&mut self
ty
MLType
&mut self
ty
MLType