CleanPDB
Main
type CounterM a = State Int a
counter :: CounterM Int
runCounterM :: CounterM a -> a
renumberResidues :: Iterable s Chain => s -> s
renumberAtoms :: Iterable s Model => s -> s
main :: IO ()