package soteria

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

Module Sym_states.State_monad

module Soteria_symex = Symex
module type Base_sig = Symex.Base
module type S = sig ... end
module Make (Sym : Symex.Base) (State : sig ... end) : S with module Value = Sym.Value and module Symex = Sym and type st = State.t and type 'a t = State.t -> ('a * State.t) Sym.t