2.3. Libraries#

LibraryDefinition = (* library_keyword: *) LIBRARY_KEYWORD
                    (* name: *) IDENTIFIER
                    (* open_brace: *) OPEN_BRACE
                    (* members: *) LibraryMembers
                    (* close_brace: *) CLOSE_BRACE;

LibraryMembers = (* item: *) ContractMember*;