EVERY_CONSEQ_CONV

ConseqConv.EVERY_CONSEQ_CONV : (conseq_conv list -> conseq_conv)

Applies in sequence all the consequence conversions in a given list of conversions.

See also

ConseqConv.THEN_CONSEQ_CONV, Conv.EVERY_CONV