Module Split_strategy

module Split_strategy: sig .. end

type split_strategy = 
| NoSplit
| SplitEqList of Datatype.Big_int.t list
| FullSplit
include struct ... end