PrettyPrint (hol v1.0.1)
View SourceDefines functions to turn various datatypes into strings
Summary
Functions
@spec pp_decl(HOL.Data.declaration(), boolean()) :: String.t()
@spec pp_res(HOL.Data.Unification.unification_results(), boolean()) :: String.t()
@spec pp_sol( [HOL.Data.Unification.unification_solution()] | HOL.Data.Unification.unification_solution(), boolean() ) :: String.t()
@spec pp_subst([HOL.Data.substitution()] | HOL.Data.substitution(), boolean()) :: String.t()
@spec pp_term(HOL.Data.hol_term(), boolean()) :: String.t()
@spec pp_tls([HOL.Data.Unification.term_pair()], boolean()) :: String.t()
@spec pp_type(HOL.Data.type()) :: String.t()