Module type Sch_sig.FUNCTOR