type DiffFormat = enumeration(plain "no deletions, no markup", color "terminal escape sequences", xml "XML tags");