Assertion list
blade (aspect of chisel ) → MadeOf
Results from Ascent++: 1
blade → MadeOf → fine-grained, tempered chrome-m… 0.54