Function arb_datum

pub fn arb_datum(allow_dummy: bool) -> BoxedStrategy<PropDatum>

Generate an arbitrary PropDatum.