interleave_options_correct_order.v « output « test-suite - coq - The formal proof system

about summary refs log tree commit diff

path: root/test-suite/output/interleave_options_correct_order.v

blob: 7622d6ff52c1fcb504caec27a965e4b5273213b8 (plain)

1
2
3

(* coq-prog-args: ("-ri" "Extraction" "-unset" "Extraction Optimize") *)

Test Extraction Optimize.