let inconsistent_2 ?(use_sets=false) { litterals = sa1; array = ar1 } { litterals = sa2; array = ar2 } = if use_sets then inconsistent_2sets sa1 sa2 else inconsistent_2arrays ar1 ar2