package bap-primus

  1. Overview
  2. Docs
package bap-primus
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Semantics.Effect

Effectful semantic values.

  • since 2.4.0
val pure : Value.t -> t

pure x an empty effect with value x

sets the Theory.Semantics.value slot to x.

return x same as KB.return@@pure x