Including two signatures, both with a 'type t' [Standard ML]
- by Andy Morris
A contrived example:
signature A =
sig
type t
val x: t
end
signature B =
sig
type t
val y: t
end
signature C = sig include A B end
Obviously, this will cause complaints that type t occurs twice in C. But is there any way to express that I want the two ts to be equated, ending up with:
signature C =
sig
type t
val x: t
val y: t…
