pub trait Target<'a>: 'a + Debug + Clone + Send + Sync + PartialEq + Arbitrary<'a> { }
The trait bounds for the target of a Fact