Module Patdiff_kernel__Configuration.Private

val with_ext_cmp : t -> ext_cmp:string option -> notify:(unit -> unit) -> t