An auditor that can audit trees
An auditor that can audit trees
upper bound on the type of values in the tree.
the type of value at the root of the tree.
Whether to aggregate errors from the descendants into a given node.
Whether to aggregate missing variables from the descendants into a given node.
An auditor that can audit values of type N
to create a tree whose nodes are of type U
.
An auditor that can audit values of type N
to create a tree whose nodes are of type U
.
a function to convert an N
to a U
.
Created by ryan.deak on 5/9/17.