Type Definition erg_type::free::FreeTyParam

source · []
pub type FreeTyParam = Free<TyParam>;