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