2.2. Interfaces#

InterfaceDefinition = (* interface_keyword: *) INTERFACE_KEYWORD
                      (* name: *) IDENTIFIER
                      (* inheritance: *) InheritanceSpecifier?
                      (* open_brace: *) OPEN_BRACE
                      (* members: *) InterfaceMembers
                      (* close_brace: *) CLOSE_BRACE;

InterfaceMembers = (* item: *) ContractMember*;