# [−][src]Module transform::split_predicates

Transforms predicates of the form "A and B" into two: "A" and "B".

## Structs

SplitPredicates | Transforms predicates of the form "A and B" into two: "A" and "B". |

Transforms predicates of the form "A and B" into two: "A" and "B".

SplitPredicates | Transforms predicates of the form "A and B" into two: "A" and "B". |