PrettyPrint (hol v1.0.1)

View Source

Defines functions to turn various datatypes into strings

Summary

Functions

pp_decl(arg, short \\ true)

@spec pp_decl(HOL.Data.declaration(), boolean()) :: String.t()

pp_res(arg, short \\ true)

pp_sol(solutions, short \\ true)

pp_subst(substitutions, short \\ true)

pp_term(term, short \\ true)

@spec pp_term(HOL.Data.hol_term(), boolean()) :: String.t()

pp_tls(tuple_list, short \\ true)

@spec pp_tls([HOL.Data.Unification.term_pair()], boolean()) :: String.t()

pp_type(arg)

@spec pp_type(HOL.Data.type()) :: String.t()