Domain_sig.With_Partitionning
type 'a decision
type boolean
val boolean_split : ('a -> 'a -> 'a decision) -> boolean -> boolean