diffast-misc
Diffast_misc.Xthread
type functions = {
f_enter_critical_section : unit -> unit;
f_exit_critical_section : unit -> unit;
}
val register_functions : functions -> unit
val get_functions : unit -> functions
val enter_critical_section : unit -> unit
val exit_critical_section : unit -> unit