package soteria

  1. Overview
  2. Docs
package soteria
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Parameter Concrete.Codom

type t
module SM : Sym_states.State_monad.S with module Symex = Symex and module Value = Symex.Value and type st = t option
type syn
val to_syn : t -> syn list
val ins_outs : syn -> Symex.Value.Expr.t list * Symex.Value.Expr.t list
val produce : syn -> t option -> t option Symex.Producer.t
val consume : syn -> t option -> (t option, syn list) Symex.Consumer.t