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