Module Configuration.Diff_configurationSource
Sourceval default : int -> string Sourceval diff_configuration : string Sourceval plain_configuration : string Sourcetype kind = | Plain| Colored| Html| Default| Match_only
Sourceval get_diff : kind -> string option -> string -> string -> string option