Rounding format

A data format to store points which are modified to produce rounded sources.

Python example

{
    'D' : {
        'corners' : [0, 1],
    },
    'E' : {
        'caps' : [(2, 3), (10, 11), (6, 7)],
        'corners' : [0, 1],
    },
    'I' : {
        'caps' : [(1, 2), (3, 0)],
    },
    'T' : {
        'caps' : [(4, 5), (6, 7), (3, 0)],
    },
}