Parameter Pure_fun.C

type t
val pp : Ppx_deriving_runtime.Format.formatter -> t -> Ppx_deriving_runtime.unit
val show : t -> Ppx_deriving_runtime.string
val fresh : unit -> t CSYMEX.t
type syn
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
val subst : (CSYMEX.Value.Expr.t -> 'a CSYMEX.Value.t) -> syn -> t
val learn_eq : syn -> t -> (unit, 'a) CSYMEX.Consumer.t
val exprs_syn : syn -> CSYMEX.Value.Expr.t list