sig type t = [ `Link ] end