Diff.Full
type 'mutant t = ( full, 'mutant ) diff
module E : sig ... end
module With_mutant : sig ... end