Module Csymex.Concrete_map

Parameters

Signature

type t
module SM : sig ... end
type syn = Key.t * Codom.syn
val consume : syn -> t option -> (t option, syn list) CSYMEX.Consumer.t
val empty : t
val syntactic_bindings : t -> (Key.t * Codom.t) Stdlib.Seq.t
val syntactic_mem : Key.t -> t -> bool
val pp' : ?codom:(Stdlib.Format.formatter -> Codom.t -> unit) -> ?key:(Stdlib.Format.formatter -> Key.t -> unit) -> ?ignore:((Key.t * Codom.t) -> bool) -> Stdlib.Format.formatter -> t -> unit
val pp : Stdlib.Format.formatter -> t -> unit
val show : t -> string
val pp_syn : Stdlib.Format.formatter -> syn -> unit
val show_syn : syn -> string
val to_syn : t -> syn list
val of_opt : t option -> t
val to_opt : t -> t option
val ins_outs : syn -> CSYMEX.Value.Expr.t list * CSYMEX.Value.Expr.t list
val alloc : new_codom:Codom.t -> (Key.t, 'err, syn list) SM.Result.t
val allocs : fn:('a -> Key.t -> ('k * Codom.t) CSYMEX.t) -> els:'a list -> ('k list, 'err, syn list) SM.Result.t
val wrap : Key.t -> (Codom.t option -> (('a, 'err, Codom.syn list) Soteria.Symex.Compo_res.t * Codom.t option) CSYMEX.t) -> ('a, 'err, syn list) SM.Result.t
val fold : ('acc -> (Key.t * Codom.t) -> 'acc CSYMEX.t) -> 'acc -> t option -> 'acc CSYMEX.t
val produce : syn -> t option -> t option CSYMEX.Producer.t