Derive a Cast's refinements from its term instead of overwriting the target - #78
Open
dpmills wants to merge 1 commit into
Open
Derive a Cast's refinements from its term instead of overwriting the target#78dpmills wants to merge 1 commit into
Cast's refinements from its term instead of overwriting the target#78dpmills wants to merge 1 commit into