This is the API documentation for coque-0.8.0 Documentation.