Any has keyword "_".

False has keyword "false".

NonNil has keyword "nonnil".

True has keyword "true".

Analyzer here is the analyzer than reads function contracts.

Contract represents a function contract.

Contracts represents the list of contracts for a function.

ContractVal represents the possible value appearing in a function contract.

Map stores the mappings from *types.Func to associated function contracts.