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