module Sequent::Generator