Parameter Convert_Integer_Forward.D

type boolean

type integer

module Context = C.To

module Integer_Forward : Operator.INTEGER_FORWARD with module Arity := Context_Arity_Forward(Context) and type boolean := boolean and type integer := integer