Module KindPrinter

module KindPrinter: sig .. end

val pgroup : Buffer.t -> TypeCore.env * TypeCore.data_type_group -> unit

val print_kinds_and_facts : TypeCore.env -> MzPprint.document