Module type Domain_sig.With_Partitionning

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