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
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
