module Sequent::Core