Module `Semantics.Effect`

Effectful semantic values.

since 2.4.0

type t = unit Bap_core_theory.Theory.Effect.t

val pure : Value.t -> t

pure x an empty effect with value x

sets the Theory.Semantics.value slot to x.

val return : Value.t -> t Bap_core_theory.KB.t

return x same as KB.return@@pure x