Module Csymex.With_origin

Parameters

Signature

type (!'a, !'info) with_info = {
  1. node : 'a;
  2. info : 'info option;
}
val pp_with_info : (Ppx_deriving_runtime.Format.formatter -> 'a -> Ppx_deriving_runtime.unit) -> (Ppx_deriving_runtime.Format.formatter -> 'info -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> ('a, 'info) with_info -> Ppx_deriving_runtime.unit
val show_with_info : (Ppx_deriving_runtime.Format.formatter -> 'a -> Ppx_deriving_runtime.unit) -> (Ppx_deriving_runtime.Format.formatter -> 'info -> Ppx_deriving_runtime.unit) -> ('a, 'info) with_info -> Ppx_deriving_runtime.string
type t = (B.t, Cerb_location.t) with_info
val show : t -> Ppx_deriving_runtime.string
val pp' : ?inner: (Ppx_deriving_runtime.Format.formatter -> B.t -> Ppx_deriving_runtime.unit) -> ?info:Cerb_location.t Fmt.t -> Ppx_deriving_runtime.Format.formatter -> (B.t, Cerb_location.t) with_info -> Ppx_deriving_runtime.unit
val pp : Ppx_deriving_runtime.Format.formatter -> (B.t, Cerb_location.t) with_info -> Ppx_deriving_runtime.unit
module SM : sig ... end
type syn = (B.syn, Cerb_location.t) with_info
val pp_syn : Ppx_deriving_runtime.Format.formatter -> syn -> Ppx_deriving_runtime.unit
val show_syn : syn -> Ppx_deriving_runtime.string
val ins_outs : syn -> CSYMEX.Value.Expr.t list * CSYMEX.Value.Expr.t list
val to_syn : t -> syn list
val lower : ('a, 'b) with_info option -> 'a option * 'b option
val lift : info:'a option -> 'b option -> ('b, 'a) with_info option
val wrap : ('a, 'err, B.syn list) B.SM.Result.t -> ('a, 'err, syn list) SM.Result.t
val consume : syn -> t option -> (t option, syn list) CSYMEX.Consumer.t
val produce : (B.syn, Cerb_location.t) with_info -> (B.t, Cerb_location.t) with_info option -> t option CSYMEX.Producer.t