Module Univ.View

module View: sig .. end

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