Type Definition ferrite_session::Session

type Session<P> = PartialSession<(), P>;

A session builder is a consumer for the given list of input context and output a protocol with given Out type.