AstContract: {
    attributes: readonly ContractAttribute[];
    declarations: readonly AstContractDeclaration[];
    id: number;
    kind: "contract";
    loc: SrcInfo;
    name: AstId;
    params: undefined | readonly AstFieldDecl[];
    traits: readonly AstId[];
}