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