Tobin bronze
         n 1: alpha-beta brass containing tin; resistant to sea water;
               Admiralty Metal is a trademark [syn: {naval brass},
               {Admiralty brass}, {Admiralty Metal}, {Tobin bronze}]

English Dictionary: Tobin bronze	by the DICT Development Group
From Webster's Revised Unabridged Dictionary (1913) [web1913]:
3. (Founding) A bath of dilute sulphuric or nitric acid,             etc., to remove burnt sand, scale rust, etc., from the             surface of castings, or other articles of metal, or to             brighten them or improve their color.          4. A troublesome child; as, a little pickle. [Colloq.]          {To be in a pickle}, to be in disagreeable position; to be in             a condition of embarrassment, difficulty, or disorder.             [bd]How cam'st thou in this pickle?[b8] --Shak.          {To put a rod in pickle}, to prepare a particular reproof,             punishment, or penalty for future application.
From Webster's Revised Unabridged Dictionary (1913) [web1913]:
Odor \O"dor\, n. [OE. odor, odour, OF. odor, odour, F. odeur,       fr. L. odor; akin to olere to smell, Gr. [?], Lith. [?] Cf.       {Olfactory}, {Osmium}, {Ozone}, {Redolent}.] [Written also       {odour}.]       Any smell, whether fragrant or offensive; scent; perfume.                   Meseemed I smelt a garden of sweet flowers, That dainty                odors from them threw around.                  --Spenser.          {To be in bad odor}, to be out of favor, or in bad repute.
From Webster's Revised Unabridged Dictionary (1913) [web1913]:
In \In\, prep. [AS. in; akin to D. & G. in, Icel. [c6], Sw. &       Dan. i, OIr. & L. in, Gr. 'en. [root]197. Cf. 1st {In-},       {Inn}.]       The specific signification of in is situation or place with       respect to surrounding, environment, encompassment, etc. It       is used with verbs signifying being, resting, or moving       within limits, or within circumstances or conditions of any       kind conceived of as limiting, confining, or investing,       either wholly or in part. In its different applications, it       approaches some of the meanings of, and sometimes is       interchangeable with, within, into, on, at, of, and among. It       is used:          1. With reference to space or place; as, he lives in Boston;             he traveled in Italy; castles in the air.                         The babe lying in a manger.               --Luke ii. 16.                         Thy sun sets weeping in the lowly west. --Shak.                         Situated in the forty-first degree of latitude.                                                                               --Gibbon.                         Matter for censure in every page.      --Macaulay.          2. With reference to circumstances or conditions; as, he is             in difficulties; she stood in a blaze of light.             [bd]Fettered in amorous chains.[b8] --Shak.                         Wrapt in sweet sounds, as in bright veils.                                                                               --Shelley.          3. With reference to a whole which includes or comprises the             part spoken of; as, the first in his family; the first             regiment in the army.                         Nine in ten of those who enter the ministry.                                                                               --Swift.          4. With reference to physical surrounding, personal states,             etc., abstractly denoted; as, I am in doubt; the room is             in darkness; to live in fear.                         When shall we three meet again, In thunder,                      lightning, or in rain?                        --Shak.          5. With reference to character, reach, scope, or influence             considered as establishing a limitation; as, to be in             one's favor. [bd]In sight of God's high throne.[b8]             --Milton.                         Sounds inharmonious in themselves, and harsh.                                                                               --Cowper.          6. With reference to movement or tendency toward a certain             limit or environment; -- sometimes equivalent to into; as,             to put seed in the ground; to fall in love; to end in             death; to put our trust in God.                         He would not plunge his brother in despair.                                                                               --Addison.                         She had no jewels to deposit in their caskets.                                                                               --Fielding.          7. With reference to a limit of time; as, in an hour; it             happened in the last century; in all my life.          {In as much as}, [or] {Inasmuch as}, in the degree that; in             like manner as; in consideration that; because that;             since. See {Synonym} of {Because}, and cf. {For as much             as}, under {For}, prep.          {In that}, because; for the reason that. [bd]Some things they             do in that they are men . . .; some things in that they             are men misled and blinded with error.[b8] --Hooker.          {In the name of}, in behalf of; on the part of; by authority;             as, it was done in the name of the people; -- often used             in invocation, swearing, praying, and the like.          {To be in for it}.             (a) To be in favor of a thing; to be committed to a                   course.             (b) To be unable to escape from a danger, penalty, etc.                   [Colloq.]          {To be} ([or] {keep}) {in with}.             (a) To be close or near; as, to keep a ship in with the                   land.             (b) To be on terms of friendship, familiarity, or intimacy                   with; to secure and retain the favor of. [Colloq.]          Syn: Into; within; on; at. See {At}.
From Webster's Revised Unabridged Dictionary (1913) [web1913]:
Feather \Feath"er\, n. [OE. fether, AS. fe[?]der; akin to D.       veder, OHG. fedara, G. feder, Icel. fj[94][?]r, Sw.       fj[84]der, Dan. fj[91]der, Gr. [?] wing, feather, [?] to fly,       Skr. pattra wing, feathr, pat to fly, and prob. to L. penna       feather, wing. [root]76, 248. Cf. {Pen} a feather.]       1. One of the peculiar dermal appendages, of several kinds,             belonging to birds, as contour feathers, quills, and down.          Note: An ordinary feather consists of the quill or hollow                basal part of the stem; the shaft or rachis, forming                the upper, solid part of the stem; the vanes or webs,                implanted on the rachis and consisting of a series of                slender lamin[91] or barbs, which usually bear                barbicels and interlocking hooks by which they are                fastened together. See {Down}, {Quill}, {Plumage}.          2. Kind; nature; species; -- from the proverbial phrase,             [bd]Birds of a feather,[b8] that is, of the same species.             [R.]                         I am not of that feather to shake off My friend when                      he must need me.                                 --Shak.          3. The fringe of long hair on the legs of the setter and some             other dogs.          4. A tuft of peculiar, long, frizzly hair on a horse.          5. One of the fins or wings on the shaft of an arrow.          6. (Mach. & Carp.) A longitudinal strip projecting as a fin             from an object, to strengthen it, or to enter a channel in             another object and thereby prevent displacement sidwise             but permit motion lengthwise; a spline.          7. A thin wedge driven between the two semicylindrical parts             of a divided plug in a hole bored in a stone, to rend the             stone. --Knight.          8. The angular adjustment of an oar or paddle-wheel float,             with reference to a horizontal axis, as it leaves or             enters the water.          Note: Feather is used adjectively or in combination, meaning                composed of, or resembling, a feather or feathers; as,                feather fan, feather-heeled, feather duster.          {Feather alum} (Min.), a hydrous sulphate of alumina,             resulting from volcanic action, and from the decomposition             of iron pyrites; -- called also {halotrichite}. --Ure.          {Feather bed}, a bed filled with feathers.          {Feather driver}, one who prepares feathers by beating.          {Feather duster}, a dusting brush of feathers.          {Feather flower}, an artifical flower made of feathers, for             ladies' headdresses, and other ornamental purposes.          {Feather grass} (Bot.), a kind of grass ({Stipa pennata})             which has a long feathery awn rising from one of the             chaffy scales which inclose the grain.          {Feather maker}, one who makes plumes, etc., of feathers,             real or artificial.          {Feather ore} (Min.), a sulphide of antimony and lead,             sometimes found in capillary forms and like a cobweb, but             also massive. It is a variety of Jamesonite.          {Feather shot}, [or] {Feathered shot} (Metal.), copper             granulated by pouring into cold water. --Raymond.          {Feather spray} (Naut.), the spray thrown up, like pairs of             feathers, by the cutwater of a fast-moving vessel.          {Feather star}. (Zo[94]l.) See {Comatula}.          {Feather weight}. (Racing)             (a) Scrupulously exact weight, so that a feather would                   turn the scale, when a jockey is weighed or weighted.             (b) The lightest weight that can be put on the back of a                   horse in racing. --Youatt.             (c) In wrestling, boxing, etc., a term applied to the                   lightest of the classes into which contestants are                   divided; -- in contradistinction to {light weight},                   {middle weight}, and {heavy weight}.          {A feather in the cap} an honour, trophy, or mark of             distinction. [Colloq.]          {To be in full feather}, to be in full dress or in one's best             clothes. [Collog.]          {To be in high feather}, to be in high spirits. [Collog.]          {To cut a feather}.             (a) (Naut.) To make the water foam in moving; in allusion                   to the ripple which a ship throws off from her bows.             (b) To make one's self conspicuous. [Colloq.]          {To show the white feather}, to betray cowardice, -- a white             feather in the tail of a cock being considered an             indication that he is not of the true game breed.
From Webster's Revised Unabridged Dictionary (1913) [web1913]:
Foundation \Foun*da"tion\, n. [F. fondation, L. fundatio. See       {Found} to establish.]       1. The act of founding, fixing, establishing, or beginning to             erect.          2. That upon which anything is founded; that on which             anything stands, and by which it is supported; the lowest             and supporting layer of a superstructure; groundwork;             basis.                         Behold, I lay in Zion, for a foundation, a stone . .                      . a precious corner stone, a sure foundation. --Is.                                                                               xxviii. 16.                         The foundation of a free common wealth. --Motley.          3. (Arch.) The lowest and supporting part or member of a             wall, including the base course (see {Base course}             (a), under {Base}, n.) and footing courses; in a frame                   house, the whole substructure of masonry.          4. A donation or legacy appropriated to support a charitable             institution, and constituting a permanent fund; endowment.                         He was entered on the foundation of Westminster.                                                                               --Macaulay.          5. That which is founded, or established by endowment; an             endowed institution or charity.                         Against the canon laws of our foundation. --Milton.          {Foundation course}. See {Base course}, under {Base}, n.          {Foundation muslin}, an open-worked gummed fabric used for             stiffening dresses, bonnets, etc.          {Foundation school}, in England, an endowed school.          {To be on a foundation}, to be entitled to a support from the             proceeds of an endowment, as a scholar or a fellow of a             college.
From Webster's Revised Unabridged Dictionary (1913) [web1913]:
Foot \Foot\ (f[oocr]t), n.; pl. {Feet} (f[emac]t). [OE. fot,       foot, pl. fet, feet. AS. f[omac]t, pl. f[emac]t; akin to D.       voet, OHG. fuoz, G. fuss, Icel. f[omac]tr, Sw. fot, Dan. fod,       Goth. f[omac]tus, L. pes, Gr. poy`s, Skr. p[be]d, Icel. fet       step, pace measure of a foot, feta to step, find one's way.       [fb]77, 250. Cf. {Antipodes}, {Cap-a-pie}, {Expedient}, {Fet}       to fetch, {Fetlock}, {Fetter}, {Pawn} a piece in chess,       {Pedal}.]       1. (Anat.) The terminal part of the leg of man or an animal;             esp., the part below the ankle or wrist; that part of an             animal upon which it rests when standing, or moves. See             {Manus}, and {Pes}.          2. (Zo[94]l.) The muscular locomotive organ of a mollusk. It             is a median organ arising from the ventral region of body,             often in the form of a flat disk, as in snails. See             Illust. of {Buccinum}.          3. That which corresponds to the foot of a man or animal; as,             the foot of a table; the foot of a stocking.          4. The lowest part or base; the ground part; the bottom, as             of a mountain or column; also, the last of a row or             series; the end or extremity, esp. if associated with             inferiority; as, the foot of a hill; the foot of the             procession; the foot of a class; the foot of the bed.                         And now at foot Of heaven's ascent they lift their                      feet.                                                --Milton.          5. Fundamental principle; basis; plan; -- used only in the             singular.                         Answer directly upon the foot of dry reason.                                                                               --Berkeley.          6. Recognized condition; rank; footing; -- used only in the             singular. [R.]                         As to his being on the foot of a servant. --Walpole.          7. A measure of length equivalent to twelve inches; one third             of a yard. See {Yard}.          Note: This measure is supposed to be taken from the length of                a man's foot. It differs in length in different                countries. In the United States and in England it is                304.8 millimeters.          8. (Mil.) Soldiers who march and fight on foot; the infantry,             usually designated as the foot, in distinction from the             cavalry. [bd]Both horse and foot.[b8] --Milton.          9. (Pros.) A combination of syllables consisting a metrical             element of a verse, the syllables being formerly             distinguished by their quantity or length, but in modern             poetry by the accent.          10. (Naut.) The lower edge of a sail.          Note: Foot is often used adjectively, signifying of or                pertaining to a foot or the feet, or to the base or                lower part. It is also much used as the first of                compounds.          {Foot artillery}. (Mil.)             (a) Artillery soldiers serving in foot.             (b) Heavy artillery. --Farrow.          {Foot bank} (Fort.), a raised way within a parapet.          {Foot barracks} (Mil.), barracks for infantery.          {Foot bellows}, a bellows worked by a treadle. --Knight.          {Foot company} (Mil.), a company of infantry. --Milton.          {Foot gear}, covering for the feet, as stocking, shoes, or             boots.          {Foot hammer} (Mach.), a small tilt hammer moved by a             treadle.          {Foot iron}.             (a) The step of a carriage.             (b) A fetter.          {Foot jaw}. (Zo[94]l.) See {Maxilliped}.          {Foot key} (Mus.), an organ pedal.          {Foot level} (Gunnery), a form of level used in giving any             proposed angle of elevation to a piece of ordnance.             --Farrow.          {Foot mantle}, a long garment to protect the dress in riding;             a riding skirt. [Obs.]          {Foot page}, an errand boy; an attendant. [Obs.]          {Foot passenger}, one who passes on foot, as over a road or             bridge.          {Foot pavement}, a paved way for foot passengers; a footway;             a trottoir.          {Foot poet}, an inferior poet; a poetaster. [R.] --Dryden.          {Foot post}.             (a) A letter carrier who travels on foot.             (b) A mail delivery by means of such carriers.          {Fot pound}, [and] {Foot poundal}. (Mech.) See {Foot pound}             and {Foot poundal}, in the Vocabulary.          {Foot press} (Mach.), a cutting, embossing, or printing             press, moved by a treadle.          {Foot race}, a race run by persons on foot. --Cowper.          {Foot rail}, a railroad rail, with a wide flat flange on the             lower side.          {Foot rot}, an ulcer in the feet of sheep; claw sickness.          {Foot rule}, a rule or measure twelve inches long.          {Foot screw}, an adjusting screw which forms a foot, and             serves to give a machine or table a level standing on an             uneven place.          {Foot secretion}. (Zo[94]l.) See {Sclerobase}.          {Foot soldier}, a soldier who serves on foot.          {Foot stick} (Printing), a beveled piece of furniture placed             against the foot of the page, to hold the type in place.                      {Foot stove}, a small box, with an iron pan, to hold hot             coals for warming the feet.          {Foot tubercle}. (Zo[94]l.) See {Parapodium}.          {Foot valve} (Steam Engine), the valve that opens to the air             pump from the condenser.          {Foot vise}, a kind of vise the jaws of which are operated by             a treadle.          {Foot waling} (Naut.), the inside planks or lining of a             vessel over the floor timbers. --Totten.          {Foot wall} (Mining), the under wall of an inclosed vein.          {By foot}, [or] {On foot}, by walking; as, to pass a stream             on foot.          {Cubic foot}. See under {Cubic}.          {Foot and mouth disease}, a contagious disease (Eczema             epizo[94]tica) of cattle, sheep, swine, etc.,             characterized by the formation of vesicles and ulcers in             the mouth and about the hoofs.          {Foot of the fine} (Law), the concluding portion of an             acknowledgment in court by which, formerly, the title of             land was conveyed. See {Fine of land}, under {Fine}, n.;             also {Chirograph}. (b).          {Square foot}. See under {Square}.          {To be on foot}, to be in motion, action, or process of             execution.          {To keep the foot} (Script.), to preserve decorum. [bd]Keep             thy foot when thou goest to the house of God.[b8] --Eccl.             v. 1.          {To put one's foot down}, to take a resolute stand; to be             determined. [Colloq.]          {To put the best foot foremost}, to make a good appearance;             to do one's best. [Colloq.]          {To set on foot}, to put in motion; to originate; as, to set             on foot a subscription.          {To} {put, [or] set}, {one on his feet}, to put one in a             position to go on; to assist to start.          {Under foot}.             (a) Under the feet; (Fig.) at one's mercy; as, to trample                   under foot. --Gibbon.             (b) Below par. [Obs.] [bd]They would be forced to sell .                   . . far under foot.[b8] --Bacon.
From Webster's Revised Unabridged Dictionary (1913) [web1913]:
, but contains in adition a large number of crystalline bodies,    such as creatin, xanthin, hypoxanthin, carnin, etc. It is also    rich in phosphate of potash.          2. Animal food, in distinction from vegetable; meat;             especially, the body of beasts and birds used as food, as             distinguished from fish.                         With roasted flesh, or milk, and wastel bread.                                                                               --Chaucer.          3. The human body, as distinguished from the soul; the             corporeal person.                         As if this flesh, which walls about our life, Were                      brass impregnable.                              --Shak.          4. The human eace; mankind; humanity.                         All flesh had corrupted his way upon the earth.                                                                               --Gen. vi. 12.          5. Human nature:             (a) In a good sense, tenderness of feeling; gentleness.                               There is no flesh in man's obdurate heart.                                                                               --Cowper.             (b) In a bad sense, tendency to transient or physical                   pleasure; desire for sensual gratification; carnality.             (c) (Theol.) The character under the influence of animal                   propensities or selfish passions; the soul unmoved by                   spiritual influences.          6. Kindred; stock; race.                         He is our brother and our flesh.         --Gen. xxxvii.                                                                               27.          7. The soft, pulpy substance of fruit; also, that part of a             root, fruit, and the like, which is fit to be eaten.          Note: Flesh is often used adjectively or self-explaining                compounds; as, flesh broth or flesh-broth; flesh brush                or fleshbrush; flesh tint or flesh-tint; flesh wound.          {After the flesh}, after the manner of man; in a gross or             earthly manner. [bd]Ye judge after the flesh.[b8] --John             viii. 15.          {An arm of flesh}, human strength or aid.          {Flesh and blood}. See under {Blood}.          {Flesh broth}, broth made by boiling flesh in water.          {Flesh fly} (Zo[94]l.), one of several species of flies whose             larv[91] or maggots feed upon flesh, as the bluebottle             fly; -- called also {meat fly}, {carrion fly}, and             {blowfly}. See {Blowly}.          {Flesh meat}, animal food. --Swift.          {Flesh side}, the side of a skin or hide which was next to             the flesh; -- opposed to grain side.          {Flesh tint} (Painting), a color used in painting to imitate             the hue of the living body.          {Flesh worm} (Zo[94]l.), any insect larva of a flesh fly. See             {Flesh fly} (above).          {Proud flesh}. See under {Proud}.          {To be one flesh}, to be closely united as in marriage; to             become as one person. --Gen. ii. 24.
From Webster's Revised Unabridged Dictionary (1913) [web1913]:
View \View\, n. [OF. veue, F. vue, fr. OF. veoir to see, p. p.       veu, F. voir, p. p. vu, fr. L. videre to see. See {Vision},       and cl. {Interview}, {Purview}, {Review}, {Vista}.]       1. The act of seeing or beholding; sight; look; survey;             examination by the eye; inspection.                         Thenceforth I thought thee worth my nearer view.                                                                               --Milton.                         Objects near our view are thought greater than those                      of a larger size are more remote.      --Locke.                         Surveying nature with too nice a view. --Dryden.          2. Mental survey; intellectual perception or examination; as,             a just view of the arguments or facts in a case.                         I have with exact view perused thee, Hector. --Shak.          3. Power of seeing, either physically or mentally; reach or             range of sight; extent of prospect.                         The walls of Pluto's palace are in view. --Dryden.          4. That which is seen or beheld; sight presented to the             natural or intellectual eye; scene; prospect; as, the view             from a window.                         'T is distance lends enchantment to the view.                                                                               --Campbell.          5. The pictorial representation of a scene; a sketch,             [?]ither drawn or painted; as, a fine view of Lake George.          6. Mode of looking at anything; manner of apprehension;             conception; opinion; judgment; as, to state one's views of             the policy which ought to be pursued.                         To give a right view of this mistaken part of                      liberty.                                             --Locke.          7. That which is looked towards, or kept in sight, as object,             aim, intention, purpose, design; as, he did it with a view             of escaping.                         No man sets himself about anything but upon some                      view or other which serves him for a reason.                                                                               --Locke.          8. Appearance; show; aspect. [Obs.]                         [Graces] which, by the splendor of her view Dazzled,                      before we never knew.                        --Waller.          {Field of view}. See under {Field}.          {Point of view}. See under {Point}.          {To have in view}, to have in mind as an incident, object, or             aim; as, to have one's resignation in view.          {View halloo}, the shout uttered by a hunter upon seeing the             fox break cover.          {View of frankpledge} (Law), a court of record, held in a             hundred, lordship, or manor, before the steward of the             leet. --Blackstone.          {View of premises} (Law), the inspection by the jury of the             place where a litigated transaction is said to have             occurred.
From Webster's Revised Unabridged Dictionary (1913) [web1913]:
Open \O"pen\ v. t. [imp. & p. p. {Opened}; p. pr. & vb. n.       {Opening}.] [AS. openian. See {Open},a.]       1. To make or set open; to render free of access; to unclose;             to unbar; to unlock; to remove any fastening or covering             from; as, to open a door; to open a box; to open a room;             to open a letter.                         And all the windows of my heart I open to the day.                                                                               --Whittier.          2. To spread; to expand; as, to open the hand.          3. To disclose; to reveal; to interpret; to explain.                         The king opened himself to some of his council, that                      he was sorry for the earl's death.      --Bacon.                         Unto thee have I opened my cause.      --Jer. xx. 12.                         While he opened to us the Scriptures. --Luke xxiv.                                                                               32.          4. To make known; to discover; also, to render available or             accessible for settlements, trade, etc.                         The English did adventure far for to open the North                      parts of America.                              --Abp. Abbot.          5. To enter upon; to begin; as, to open a discussion; to open             fire upon an enemy; to open trade, or correspondence; to             open a case in court, or a meeting.          6. To loosen or make less compact; as, to open matted cotton             by separating the fibers.          {To open one's mouth}, {to speak}.          {To open up}, to lay open; to discover; to disclose.                         Poetry that had opened up so many delightful views                      into the character and condition of our [bd]bold                      peasantry, their country's pride.[b8] --Prof.                                                                               Wilson.
From Webster's Revised Unabridged Dictionary (1913) [web1913]:
Top-hamper \Top"-ham`per\, n. (Naut.)       The upper rigging, spars, etc., of a ship. [Written also {top       hamper}.]                   All the ships of the fleet . . . were so encumbered                with tophamper, so overweighted in proportion to their                draught of water, that they could bear but little                canvas, even with smooth seas and light and favorable                winds.                                                   --Motley.
From Webster's Revised Unabridged Dictionary (1913) [web1913]:
Hamper \Ham"per\, n. [See {Hamper} to shackle.]       1. A shackle; a fetter; anything which impedes. --W. Browne.          2. (Naut.) Articles ordinarily indispensable, but in the way             at certain times. --Ham. Nav. Encyc.          {Top hamper} (Naut.), unnecessary spars and rigging kept             aloft.
From Webster's Revised Unabridged Dictionary (1913) [web1913]:
Top-hamper \Top"-ham`per\, n. (Naut.)       The upper rigging, spars, etc., of a ship. [Written also {top       hamper}.]                   All the ships of the fleet . . . were so encumbered                with tophamper, so overweighted in proportion to their                draught of water, that they could bear but little                canvas, even with smooth seas and light and favorable                winds.                                                   --Motley.
From Webster's Revised Unabridged Dictionary (1913) [web1913]:
Hamper \Ham"per\, n. [See {Hamper} to shackle.]       1. A shackle; a fetter; anything which impedes. --W. Browne.          2. (Naut.) Articles ordinarily indispensable, but in the way             at certain times. --Ham. Nav. Encyc.          {Top hamper} (Naut.), unnecessary spars and rigging kept             aloft.
From Webster's Revised Unabridged Dictionary (1913) [web1913]:
Top-hamper \Top"-ham`per\, n. (Naut.)       The upper rigging, spars, etc., of a ship. [Written also {top       hamper}.]                   All the ships of the fleet . . . were so encumbered                with tophamper, so overweighted in proportion to their                draught of water, that they could bear but little                canvas, even with smooth seas and light and favorable                winds.                                                   --Motley.
From The Free On-line Dictionary of Computing (15Feb98) [foldoc]:
type inference          An {algorithm} for ascribing types to       expressions in some language, based on the types of the       constants of the language and a set of type inference rules       such as          f :: A -> B,   x :: A       ---------------------   (App)                f x :: B          This rule, called "App" for application, says that if       expression f has type A -> B and expression x has type A then       we can deduce that expression (f x) has type B.   The       expressions above the line are the premises and below, the       conclusion.   An alternative notation often used is:          G |- x : A          where "|-" is the turnstile symbol ({LaTeX} \vdash) and G is a       type assignment for the free variables of expression x.   The       above can be read "under assumptions G, expression x has type       A".   (As in Haskell, we use a double "::" for type       declarations and a single ":" for the {infix} list constructor,       cons).          Given an expression          plus (head l) 1          we can label each subexpression with a type, using type       variables X, Y, etc. for unknown types:          (plus :: Int -> Int -> Int)       (((head :: [a] -> a) (l :: Y)) :: X)       (1 :: Int)          We then use {unification} on {type variable}s to match the       {partial application} of plus to its first argument against       the App rule, yielding a type (Int -> Int) and a substitution       X = Int.   Re-using App for the application to the second       argument gives an overall type Int and no further       substitutions.   Similarly, matching App against the       application (head l) we get Y = [X].   We already know X = Int       so therefore Y = [Int].          This process is used both to infer types for expressions and       to check that any types given by the user are consistent.          See also {generic type variable}, {principal type}.          (1995-02-03)