Skip to main content

validate_dynamic_primitive

Function validate_dynamic_primitive 

Source
pub fn validate_dynamic_primitive(
    contract: PrecisionContract,
    primitive: &DynamicPrimitiveSoundness,
) -> Result<(), DynamicSoundnessViolation>
Expand description

Validate one serializable primitive against a consumer precision contract.

ยงErrors

Returns DynamicSoundnessViolation when primitive cannot soundly satisfy contract.