Skip to main content
Module format_proof_tree
hir_ty
0.0.0
Module format_
proof_
tree
Module Items
Structs
Functions
In hir_
ty::
next_
solver
hir_ty
::
next_solver
Module
format_
proof_
tree
Copy item path
Source
Structs
§
Candidate
Data
Proof
Tree
Data
Proof
Tree
Serializer
🔒
Functions
§
dump_
proof_
tree_
structured