Skip to main content

insert_shape_satisfaction_claim

sim_shape

Function insert_shape_satisfaction_claim 

Source 
pub fn insert_shape_satisfaction_claim(
    cx: &mut Cx,
    report: &ShapeReport,
    visibility: Visibility,
) -> Result<Option<Ref>, Error>
Expand description

Publish the satisfies-shape claim for an accepted report.

Returns Ok(None) when the report was rejected. Private visibility inserts the claim under the fact-private capability.