module Split_strategy: sig .. end
sig
end
type split_strategy =
|
NoSplit
SplitEqList of Datatype.Integer.t list
Datatype.Integer.t list
FullSplit
include struct ... end