Module Soteria_c_lib.Block

module Freeable_ctree_block : sig ... end
include sig ... end
type (!'a, !'info) with_info = {
  1. node : 'a;
  2. info : 'info option;
}
val pp_with_info : (Ppx_deriving_runtime.Format.formatter -> 'a -> Ppx_deriving_runtime.unit) -> (Ppx_deriving_runtime.Format.formatter -> 'info -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> ('a, 'info) with_info -> Ppx_deriving_runtime.unit
val show_with_info : (Ppx_deriving_runtime.Format.formatter -> 'a -> Ppx_deriving_runtime.unit) -> (Ppx_deriving_runtime.Format.formatter -> 'info -> Ppx_deriving_runtime.unit) -> ('a, 'info) with_info -> Ppx_deriving_runtime.string
type t = (Freeable_ctree_block.t, Cerb_location.t) with_info
val show : t -> Ppx_deriving_runtime.string
val pp' : ?inner: (Ppx_deriving_runtime.Format.formatter -> Freeable_ctree_block.t -> Ppx_deriving_runtime.unit) -> ?info:Cerb_location.t Fmt.t -> Ppx_deriving_runtime.Format.formatter -> (Freeable_ctree_block.t, Cerb_location.t) with_info -> Ppx_deriving_runtime.unit
val pp : Ppx_deriving_runtime.Format.formatter -> (Freeable_ctree_block.t, Cerb_location.t) with_info -> Ppx_deriving_runtime.unit
module SM : sig ... end
type syn = (Freeable_ctree_block.syn, Cerb_location.t) with_info
val pp_syn : Ppx_deriving_runtime.Format.formatter -> syn -> Ppx_deriving_runtime.unit
val show_syn : syn -> Ppx_deriving_runtime.string
val to_syn : t -> syn list
val lower : ('a, 'b) with_info option -> 'a option * 'b option
val lift : info:'a option -> 'b option -> ('b, 'a) with_info option
val wrap : ('a, 'err, Freeable_ctree_block.syn list) Freeable_ctree_block.SM.Result.t -> ('a, 'err, syn list) SM.Result.t
val consume : syn -> t option -> (t option, syn list) Soteria_c_lib__Csymex.CSYMEX.Consumer.t
val produce : (Freeable_ctree_block.syn, Cerb_location.t) with_info -> (Freeable_ctree_block.t, Cerb_location.t) with_info option -> t option Soteria_c_lib__Csymex.CSYMEX.Producer.t
val pp_pretty : Ppx_deriving_runtime.Format.formatter -> (Freeable_ctree_block.t, Cerb_location.t) with_info -> Ppx_deriving_runtime.unit
val is_freed : ('a Soteria.Sym_states.Freeable.freeable, 'b) with_info -> bool
val alloc : ?loc:'a -> zeroed:bool -> Ctree_block.sint -> (Ctree_block.t Soteria.Sym_states.Freeable.freeable, 'a) with_info
val free : unit -> (unit, [> `UseAfterFree ], syn list) SM.Result.t