module Sequent::Util