This is the API documentation for sequent-7.1.1 Documentation.