Domain_sig.With_Integer_Forward
type boolean
type integer
module Context : Context
module Integer_Forward : Transfer_functions.Integer_Forward with module Arity := Context_Arity_Forward(Context) and type boolean := boolean and type integer := integer