Module Tree_state.Freeable

Parameters

module I : sig ... end

Signature

type t
val show : t -> Ppx_deriving_runtime.string
val pp' : ?inner:(Stdlib.Format.formatter -> I.t -> Ppx_deriving_runtime.unit) -> Stdlib.Format.formatter -> I.t Soteria__Sym_states__Freeable.freeable -> Ppx_deriving_runtime.unit
val pp : Stdlib.Format.formatter -> I.t Soteria__Sym_states__Freeable.freeable -> Ppx_deriving_runtime.unit
type syn
val pp_syn : Ppx_deriving_runtime.Format.formatter -> syn -> Ppx_deriving_runtime.unit
val show_syn : syn -> Ppx_deriving_runtime.string
module SM : sig ... end
val lift_fix : 'a -> 'a Soteria__Sym_states__Freeable.freeable
val lift_fix_r : ('a, 'b, 'c list) Soteria.Symex.Compo_res.t -> ('a, 'b, 'c Soteria__Sym_states__Freeable.freeable list) Soteria.Symex.Compo_res.t
val lift_fix_c : ('a, 'b list) DecayMapMonad.Consumer.t -> ('a, 'b Soteria__Sym_states__Freeable.freeable list) DecayMapMonad.Consumer.t
val to_syn : I.t Soteria__Sym_states__Freeable.freeable -> I.syn Soteria__Sym_states__Freeable.freeable list
val ins_outs : I.syn Soteria__Sym_states__Freeable.freeable -> DecayMapMonad.Value.Expr.t list * DecayMapMonad.Value.Expr.t list
val unwrap_alive : unit -> (I.t option, [> `UseAfterFree ], 'a) Soteria.Symex.Compo_res.t SM.t
val wrap : ('b, [> `UseAfterFree ] as 'a, I.syn list) I.SM.Result.t -> ('b, 'a, syn list) SM.Result.t
val free : unit -> (unit, [> `UseAfterFree ], syn list) SM.Result.t
val produce : syn -> I.t Soteria__Sym_states__Freeable.freeable option -> SM.st SM.Symex.Producer.t
val consume : syn -> SM.st -> (SM.st, syn list) SM.Symex.Consumer.t