Module type Diffable.S

type t
module Diff : sig ... end