Signature of the module to use in order to instantiate the computation
this is the type of the functor dedicated to interprocedural propagation.