This is the API documentation for sequent-8.2.0 Documentation.