GenHCons.1-C
type t
val kind : t -> (t, t, Sorts.t, UVars.Instance.t, Sorts.relevance) kind_of_term
val self : t -> constr
val refcount : t -> int
val via_hconstr : bool
module Tbl : sig ... end