Module Univ.View

type t =
| T : 'a Core_kernel.Type_equal.Id.t * 'a -> t