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