conflict.mli 138 Bytes
Newer Older
1 2 3 4
(* This module explains conflicts. Explanations are written
   to the .conflicts file. No functionality is offered by this
   module. *)