Module Sort.Debug_printers
val base : Stdlib.Format.formatter -> Jkind.Sort.base -> unitval t : Stdlib.Format.formatter -> Jkind.Sort.t -> unitval var : Stdlib.Format.formatter -> Jkind.Sort.var -> unitSort.Debug_printersval base : Stdlib.Format.formatter -> Jkind.Sort.base -> unitval t : Stdlib.Format.formatter -> Jkind.Sort.t -> unitval var : Stdlib.Format.formatter -> Jkind.Sort.var -> unit