[Ur] Sharing types in signatures

[Saulo Araujo]

Hi,

Does Ur/Web supports sharing types in signatures like in the code below?

signature A = sig
  type t
end

signature B = sig
  type t
end

signature C = sig
  structure A1 : A
  structure B1 : B
  sharing type A1.t = B1.t
end

In case it is not supported, is there a way to accomplish something
similar?

Sincerely,
Saulo
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20160930/5a6c3baa/attachment.html>