adamc@66: structure M : sig
adamc@66:         type t
adamc@66: end
adamc@66: 
adamc@66: val x : M.t