Module Biabduction__Prop.CategorizePreconditions
val categorize : 'a t list -> pre_categorycategorize a list of preconditions
Biabduction__Prop.CategorizePreconditionsval categorize : 'a t list -> pre_categorycategorize a list of preconditions