Convert_Binary_Forward.D
type boolean
type binary
module Context = C.To
module Binary_Forward : Transfer_functions.Binary_Forward with module Arity := Context_Arity_Forward(Context) and type boolean := boolean and type binary := binary