Module type Diffable.S1

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