adam@2196: functor F(M : sig con fs :: {Type} end) = struct
adam@2196:     open M
adam@2196: 
adam@2196:     functor G(M : sig val x : $(map sql_injectable_prim fs) end) = struct
adam@2196:     end
adam@2196: end