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