Module type Diffable.S1Source

type 'a t
module Diff : sig ... end