toplevel/
coqtop_opt_bin.ml
100.00%
1
2
3
let drop_setup () =
M
ltop.remove () let _ =
d
rop_setup ()