pub fn arb_datum(allow_dummy: bool) -> BoxedStrategy<PropDatum>
Generate an arbitrary PropDatum.
PropDatum