aboutsummaryrefslogblamecommitdiffstats
path: root/lib/sublanguage_context.ml
blob: 16b850e4acf6a45adcf117b78c6230290c9c77e2 (plain) (tree)
1
                                                       
type t = {kernel: RNT.kernel; session: Session.session}