Inverness-shire Inverness-shire is Scotland's largest county, and the second largest in the UK as a whole after Yorkshire. It borders Ross to the north, Nairnshire, Moray, Banffshire and Aberdeenshire to the east, and Perthshire and Argyll to the south. It covers a large mainland area and various island areas off the west coast. The mainland area has coastline in both the east and the west. The island areas include North Uist, South Uist and Harris in the Outer Hebrides and Skye and the Small Isles in the Inner Hebrides. Principal settlements include Inverness, Fort William, Fort Augustus and Portree. Inverness-shire's coat
Principal type among several options. The principal type property should not be confused with the principal typing property which requires that, given a term, there exist a typing (i.e. a pair with a context and a type) which is an instance of all possible typings of the term. Principal type In type theory, a type system is said to have the principal type property if, given a term and an environment, there exists a principal type for this term in this environment, i.e. a type such that all other types for this term in this environment are an instance of the principal