Jkind.Debug_printers
val t : Stdlib.Format.formatter -> 'd Types.jkind -> unit
module Const : sig ... end