Module Backend.ProcData

type 'a t = {
summary : Summary.t;
tenv : IR.Tenv.t;
extras : 'a;
}