Up – Package index » rocq-runtime » Library byte_config » Coq_byte_config

Module `Coq_byte_config`Source

Sourceval toploop_use_silently : Stdlib.Format.formatter -> string -> bool

Sourceval compenv_handle_exit_with_status_0 : (unit -> unit) -> unit