ReadonlyexportThe contract's exported binding name.
ReadonlyfileAbsolute path of the file declaring the contract.
Readonlykeyundefined for a contract-level sensitivity, set for a per-variable one.
ReadonlysensitivityThe declared level, exactly as written.
One contract- or variable-level
sensitivitydeclaring a level outside STANDARD_SENSITIVITY_LEVELS.