Prop.Metrics
val prop_size : 'a t -> int
Compute a size value for the prop, which indicates its complexity