M (soteria-rust.Soteria_rust_lib.Builtins.System.M)

Parameters

module StateM : State.StateM.S

Signature

val tlv_atexit : 
  (Common.Fun_kind.t ->
    (Soteria_rust_lib.Typed.T.sint Typed.t,
      Soteria_rust_lib.Typed.T.sfloat Typed.t,
      StateM.Sptr.t)
      Rust_val.raw
      list ->
    ('a, unit) StateM.t) ->
  StateM.rust_val list ->
  (('b, 'c, 'd) Rust_val.raw, 'e) StateM.t

Used on macOS to register thread local destructors; receives a function pointer and an argument. Should call the destructor with the argument at the end of the thread.

_tlv_atexit(dtor: unsafe extern "C" fn( *mut u8), arg: *mut u8)

val hashmap_random_keys : 'a -> (StateM.rust_val, 'b) StateM.t