functor (Loc : Defs.Loc) (Desc : Defs.ClassDescription-> Defs.Generator