Parameter Pmap.Codom

type t
val pp : Ppx_deriving_runtime.Format.formatter -> t -> Ppx_deriving_runtime.unit
val show : t -> Ppx_deriving_runtime.string
module SM : Soteria.Sym_states.State_monad.S with module Symex = CSYMEX and module Value = CSYMEX.Value and type st = t option
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 list
val ins_outs : syn -> CSYMEX.Value.Expr.t list * CSYMEX.Value.Expr.t list
val produce : syn -> t option -> t option CSYMEX.Producer.t
val consume : syn -> t option -> (t option, syn list) CSYMEX.Consumer.t