Pure_fun (soteria-c.Soteria_c_lib.Csymex.Pure

Parameters

module C : sig ... end

type t = C.t

val show : t -> Ppx_deriving_runtime.string

type syn = C.syn

val show_syn : syn -> Ppx_deriving_runtime.string

module SM : sig ... end

val to_syn : C.t -> C.syn list

val ins_outs : C.syn -> 'a list * CSYMEX.Value.Expr.t list

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

val pp_syn : 
  Ppx_deriving_runtime.Format.formatter ->
  C.syn ->
  Ppx_deriving_runtime.unit

val load : unit -> (C.t, 'a, 'b) Soteria.Symex.Compo_res.t SM.t

val consume : syn -> SM.st -> (SM.st, syn list) SM.Symex.Consumer.t

val produce : syn -> SM.st -> SM.st SM.Symex.Producer.t