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

Parameters

module StateM : State.StateM.S

Signature

module Core : sig ... end

module Alloc : sig ... end

val nop : 'a -> (('b, 'c, 'd) Rust_val.raw, 'e) StateM.t

val float_is : 
  Soteria.Bv_values.Svalue.FloatClass.t ->
  ('a, [< Soteria_rust_lib.Typed.T.any ] Typed.t, 'b) Rust_val.raw list ->
  (([> Soteria__Bv_values__Typed.T.sint ] Soteria.Bv_values.Typed.t, 'c, 'd)
     Rust_val.raw,
    'e)
    StateM.t

val float_is_finite : 
  ('a, [< Soteria_rust_lib.Typed.T.any ] Typed.t, 'b) Rust_val.raw list ->
  (([> Soteria__Bv_values__Typed.T.sint ] Soteria.Bv_values.Typed.t, 'c, 'd)
     Rust_val.raw,
    'e)
    StateM.t

val float_is_sign : 
  bool ->
  ('a, [< Soteria_rust_lib.Typed.T.any ] Typed.t, 'b) Rust_val.raw list ->
  (([> Soteria__Bv_values__Typed.T.sint ] Soteria.Bv_values.Typed.t, 'c, 'd)
     Rust_val.raw,
    'e)
    StateM.t

val _mk_box : ('a, 'b, 'c) Rust_val.raw -> ('a, 'b, 'c) Rust_val.raw

val alloc_impl : 
  StateM.rust_val list ->
  (([< Soteria_rust_lib.Typed.T.any NonZero Zero ] Typed.t, 'a, StateM.Sptr.t)
     Rust_val.raw,
    'b)
    StateM.t

val fixme_panic_cleanup : 
  'a ->
  (('b, 'c, StateM.Sptr.t) Rust_val.raw, 'd) StateM.t

val fixme_catch_unwind_cleanup : 
  ('a, 'b, StateM.Sptr.t) Rust_val.raw list ->
  (('c, 'd, StateM.Sptr.t) Rust_val.raw, 'e) StateM.t