Bi (soteria-rust.Soteria_rust_lib.State.Tree

Parameters

module B : Soteria.Sym_states.Base.M(DecayMapMonad).S

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 ->
  DecayMapMonad.Value.Expr.t list * DecayMapMonad.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 DecayMapMonad.Producer.t

val consume : syn -> t option -> (t option, syn list) DecayMapMonad.Consumer.t