sig type t = T : 'Type_equal.Id.t * '-> Univ.View.t end