adamc@386: functor Make(M : sig
adamc@386:                  type t
adamc@386:              end) = struct
adamc@386:     val x = 6
adamc@386: end