module Lift : sig ... end

Lift S.Now to S.Future

module Memory : sig ... end

In-memory backend using the S.Now signature.

module S : sig ... end

Session-related signatures and types.