sig
  val pgroup : Buffer.t -> TypeCore.env * TypeCore.data_type_group -> unit
  val print_kinds_and_facts : TypeCore.env -> MzPprint.document
end