RIDDL Documentation
Toggle Dark/Light/Auto modeToggle Dark/Light/Auto modeToggle Dark/Light/Auto modeBack to homepage
  1. Index
  2. /
  3. Tutorial
  4. /
  5. Example
  6. /
  7. Restaurant
Edit page

Restaurant

// insert https://github.com/reactific/riddl-examples/blob/main/src/riddl/ReactiveBBQ/restaurant/domain.riddl