Structure type_pp


Source File Identifier index Theory binding index

signature type_pp =
sig

 val pp_type : type_grammar.grammar -> PPBackEnd.t ->
               Portable.ppstream -> Type.hol_type -> unit
 val pp_type_with_depth : type_grammar.grammar -> PPBackEnd.t ->
                          Portable.ppstream -> int -> Type.hol_type -> unit

 val pp_num_types   : bool ref
 val pp_array_types : bool ref
end


Source File Identifier index Theory binding index

HOL 4, Kananaskis-10