Darcs.Patch.SummaryData

data SummDetail

data SummOp