Module type PdgMarks.Config

define how to translate an input mark of a function into a mark * to propagate in the callers. * The statement specify to which call we are about to propagate, * and the pdg is the one of the caller in which the call is. * If it returns None, the propagation is stopped. * A simple propagation can be done by returning Some m. * The call parameter can be None when the caller has a Top PDG. *

define how to translate a mark of a call output into a mark * to propagate in the called function. * The statement specify from which call we are about to propagate, * and the pdg is the one of the called function. *