Module type Sig.FUNCTOR

type 'a t