Agda.Utils.Trace
type
Trace
type
SiblingCall
data
CurrentCall
a
data
ParentCall
a
data
ChildCall
a
newCall
updateCall
matchCall
matchCalls
matchTrace