Globs (soteria-c.Soteria_c

include Soteria.Sym_states.Base.M(Csymex).S
  with type syn = Symbol_std.t * Soteria_c_lib.Typed.Expr.t

type t

val pp : 
  Ppx_deriving_runtime.Format.formatter ->
  t ->
  Ppx_deriving_runtime.unit

val show : t -> Ppx_deriving_runtime.string

module SM : 
  Soteria.Sym_states.State_monad.S
    with module Symex = Csymex
     and module Value = Csymex.Value
     and type st = t option

type syn = Symbol_std.t * Soteria_c_lib.Typed.Expr.t

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 ins_outs : syn -> Csymex.Value.Expr.t list * Csymex.Value.Expr.t list

val produce : syn -> t option -> t option Csymex.Producer.t

val consume : syn -> t option -> (t option, syn list) Csymex.Consumer.t

val empty : t option

val get : 
  Cerb_frontend.Symbol.sym ->
  t option ->
  (Soteria_c_lib.Typed.T.sloc Typed.t * t option) Csymex.t