Module Full.With_mutant

type t =
| E : ( full, 'mutant ) diff * 'mutant -> t