Parameter Convert_Binary_Forward.C

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