Function validate_primitive 

pub fn validate_primitive(
    contract: PrecisionContract,
    primitive: PrimitiveSoundness,
) -> Result<(), SoundnessViolation>

Validate one primitive against a consumer precision contract.

Errors

Returns SoundnessViolation when primitive cannot soundly satisfy contract.