Module Univ.View

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