module Sequent::Support