module ACCEPT (TYPES, CHANNELS) is

!auxiliary

process MAIN [RECEIVE_BLOCK_PROPOSAL: BLOCK, COMMIT_PROPOSED_BLOCK: COMMIT] is
   loop
      RECEIVE_BLOCK_PROPOSAL (?any BIT);
      COMMIT_PROPOSED_BLOCK
   end loop
end process

end module