This is the API documentation for ascode-0.7.10 Documentation.