flix
0.67.2
ProvenanceReconstruct
Definitions
toString
Fixpoint3.ProvenanceReconstruct.ProofTree
Definitions
def
toString
(
p
:
ProofTree[r]
,
indentChild
:
Int32
)
:
String
\
r
Source