Module CostUtils.CostModelEnv
type cost_model_env={model_env : BO.BufferOverrunUtils.ModelEnv.model_env;get_summary : IR.Procname.t -> CostDomain.summary option;}
CostUtils.CostModelEnvtype cost_model_env = {model_env : BO.BufferOverrunUtils.ModelEnv.model_env; |
get_summary : IR.Procname.t -> CostDomain.summary option; |
}