This is the API documentation for tapenade-0.4.0 Documentation.