1 2 3 4 5
(* Coqup flags *) let option_simulate = ref false let option_hls = ref true let option_debug_hls = ref false let option_initial = ref false