Parameter Convert_Boolean_Forward.D

type boolean

module Context = C.To

module Boolean_Forward : Operator.BOOLEAN_FORWARD with module Arity := Context_Arity_Forward(Context) and type boolean := boolean