Module type Domain_sig.Convert_Contexts

module From : Context
module To : Context
val convert : From.t -> To.t