cakeml
cakeml copied to clipboard
Better names from early pass generated functions
bvi_aux, bvl_stub, and dec are only so useful when you have hundreds of each. We should be able to find relevant identifiers in the source and assign some interpretable name to them.