Sig.Convert_Contexts
Context conversion procedures: pass through the values by just changing the context.
module From : Context
module To : Context
val convert : From.t -> To.t