jon.recoil.org

Module Format.Safe

Submodule containing non-backwards-compatible functions which enforce thread safety via modes.

val make_synchronized_formatter : (string -> int -> int -> unit) @ portable -> (unit -> unit) @ portable -> Llvm_ir.Format.formatter Stdlib.Domain.Safe.DLS.key

Like make_synchronized_formatter, but can be called from any domain. The provided closures must be portable as they will be called from other domains that access the returned Domain.Safe.DLS.key.