print KNormal.t like ocaml code