Redirecting to
struct.type_op_prove_predicate.html
...