Function safety_rules::test_utils::empty_proof

source · 
pub fn empty_proof() -> Proof