Library rt.restructuring.analysis.abstract.core.run_to_completion_threshold
(* ----------------------------------[ coqtop ]---------------------------------
Welcome to Coq 8.10.1 (October 2019)
----------------------------------------------------------------------------- *)