annotate tests/mproj.ur @ 2062:795b5b75453c

Add 'role' data attribute. Note, that 'role' attribute is a part of reach ARIA API described here: http://www.w3.org/TR/wai-aria/ Among 'role', it defines lots of aria-* attributes
author Sergey Mironov <grrwlf@gmail.com>
date Mon, 07 Jul 2014 10:05:04 +0400
parents e571fb150a9f
children
rev   line source
adamc@849 1 structure M : sig
adamc@849 2 type t
adamc@849 3 val x : t
adamc@849 4
adamc@849 5 structure S : sig
adamc@849 6 type u = t
adamc@849 7
adamc@849 8 val eq : eq u
adamc@849 9 end
adamc@849 10 end = struct
adamc@849 11 type t = int
adamc@849 12 val x = 0
adamc@849 13
adamc@849 14 structure S = struct
adamc@849 15 type u = t
adamc@849 16
adamc@849 17 val eq = _
adamc@849 18 end
adamc@849 19 end
adamc@849 20
adamc@849 21 val y = M.x = M.x