Parameter Convert_Binary_Forward.D

type boolean

type binary

module Context = C.To

module Binary_Forward : Operator.BINARY_FORWARD with module Arity := Context_Arity_Forward(Context) and type boolean := boolean and type binary := binary