Parameter InstanciateHcons.T

type t
val pp : t Types.pp