Function safety_rules::test_utils::empty_proof[−][src]

pub fn empty_proof() -> Proof