System (soteria-rust.Soteria_rust_lib.Interp.Make.Std

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

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