This is the API documentation for riddl-1.0.4 Documentation.