<div dir="ltr"><div><div><div><div>Hi,<br><br></div>Does Ur/Web supports sharing types in signatures like in the code below?<br><br>signature A = sig<br>  type t<br>end<br><br>signature B = sig<br>  type t<br>end<br><br>signature C = sig<br>  structure A1 : A<br>  structure B1 : B<br>  sharing type A1.t = B1.t<br>end<br><br></div>In case it is not supported, is there a way to accomplish something similar? <br><br></div>Sincerely,<br></div>Saulo<br></div>