Domain_sig.With_Boolean_Forward
type boolean
module Context : Context
module Boolean_Forward : Transfer_functions.Boolean_Forward with module Arity := Context_Arity_Forward(Context) and type boolean := boolean