Module Csymex.Bi

Parameters

Signature

type t = B.t option * B.syn list
type syn = B.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 : 'a -> 'b
val ins_outs : B.syn -> CSYMEX.Value.Expr.t list * CSYMEX.Value.Expr.t list
module SM : sig ... end
val of_opt : t option -> t
val to_spec : t option -> pre:syn list * post:syn list
val to_opt : t -> t option
val expose : ('a * 'b) -> 'a * 'b
val pp' : ?inner:B.t Fmt.t -> ?syn:B.syn Fmt.t -> Stdlib.Format.formatter -> (B.t option * B.syn list) -> unit
val pp : Stdlib.Format.formatter -> (B.t option * B.syn list) -> unit
val show : (B.t option * B.syn list) -> string
val wrap : ?fuel:int -> ('v, 'err, B.syn list) B.SM.Result.t -> ('v, 'err, syn list) SM.Result.t
val wrap_no_fail : 'a B.SM.t -> 'a SM.t
val produce : B.syn -> t option -> t option CSYMEX.Producer.t
val consume : syn -> t option -> (t option, syn list) CSYMEX.Consumer.t