m1.Require(m2) (meaning m1 is required to be at least as specific as m2, i.e. m1 <: m2) On 6/4/07, Kamil Dworakowski <kamil.dworakowski at googlemail.com> wrote: > How to check if one MType is subtype of another? > > -- Kamil Dworakowski > > _______________________________________________ > https://nemerle.org/mailman/listinfo/devel-en > -- Michał