//! Diff domain — all diff-related operations on a GitDomain. pub mod ops; pub mod types;