Function arbitrary 

pub fn arbitrary(
    ty: &Ty,
    types: &BTreeMap<Arc<str>, TyDecl>,
    rng: &mut Rng,
) -> Result<Value, Uninhabitable>

An arbitrary inhabitant, for a property block’s parameters.