Module Prop.CategorizePreconditions

type pre_category =
  1. | NoPres
  2. | Empty
  3. | OnlyAllocation
  4. | DataConstraints
val categorize : 'a t list -> pre_category

categorize a list of preconditions