fn from(t: Type) -> Self {
        Self {
            forall: type_variables(&t),
            signature: t,
        }
    }
/// Use this if all the type variables in `t` don't exist in the current typing environment.
Use this if all the type variables in `t` don't exist in the current typing environment.
Use this if all the type variables in ` t ` don ' t exist in the current typing environment .
fn from(t: Type) -> Self {
        Self {
            forall: type_variables(&t),
            signature: t,
        }
    }
fn from ( t : Type ) -> Self { Self { forall : type_variables ( & t ) , signature : t , } }
Use this if all the type variables in `t` don't exist in the current typing environment.
Use this if all the type variables in ` t ` don ' t exist in the current typing environment .
t
Type
t
Type