Module type Diffable.S2

type ('a, 'b) t
module Diff : sig ... end