Module type Functor.S

type t