path: root/test-suite/output/ssr_pred.out

in1W
     : forall (T1 : predArgType) (D1 : {pred T1}) (P1 : T1 -> Prop),
       (forall x : T1, P1 x) -> {in D1, forall x : T1, P1 x}