Module type Commit.Maker

module Info : Info.S
module Make (H : Type.S) : sig ... end