Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package bap-core-theory
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
The denotation of expression.
Values are used to express the semantics of terms that evaluate to a value, aka expressions. Values are sorted and value sorts hold static information about the value representation, like the number of bits in a bitvector or the representation format in a floating point value.
All values belong to the same Knowledge class and thus share the same set of properties, with each property being a specific denotation provided by one or more theories. For example, the bap.std:exp slot holds the denotation of a value in terms of BIL expressions.
empty s creates an empty value of sort s.
The empty value doesn't hold any denotations and represents an absence of information about the value.
sort v is the value sort.
The value sort holds static information about values of that sort.
module Sort : sig ... endValue Sorts.