[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: subset relationship in types

> Is there any way to specify a type of finite_sets as a subset of another
> type of finite_sets, or I have to come up with my own definitions?

If you mean "..as a SUBTYPE of another type..." then the TYPE_FROM
construction may be what you are looking for.