1signature type_pp = 2sig 3 4 val pp_type : type_grammar.grammar -> PPBackEnd.t -> 5 Type.hol_type -> term_pp_types.uprinter 6 val pp_type_with_depth : type_grammar.grammar -> PPBackEnd.t -> 7 int -> Type.hol_type -> term_pp_types.uprinter 8 9 val pp_num_types : bool ref 10 val pp_array_types : bool ref 11end 12