class Sequent::Engine