Expose various missing items in the public API#49

Merged

fjarri merged 5 commits intomasterfrom docs-cleanup

Nov 18, 2023

+80-22

Commits on Nov 17, 2023

Commits on Nov 18, 2023

Expose helper types for the Session machinery
fjarri
committed