module Sequent::Internal