Symex.Value
This module defines the minimal interface that symbolic values must implement to be used in Soteria's symbolic execution engine.
module type Expr = sig ... end
Expr.t describes a syntactic representation of a value of type 'a v. Syntactic objects, unlike semantic values, can contain "free" variables and operations such as substitution have meaning.
Expr.t
'a v
module type S = sig ... end