type t = {kernel: RNT.kernel; session: Session.session}