BCHSystemSettings
val system_settings : BCHLibTypes.system_settings_int
val pverbose : CHPretty.pretty_t list -> unit
val include_function : string -> unit
val included_functions : unit -> string list
val exclude_function : string -> unit
val excluded_functions : unit -> string list