pub fn check_value_report(
cx: &mut Cx,
shape_value: &ShapeRef,
value: Value,
) -> Result<ShapeReport>Expand description
Check value against shape_value, building a ShapeReport and
publishing the satisfaction claim when accepted.
Returns a TypeMismatch error when
shape_value is not a shape.