package bap-std

  1. Overview
  2. Docs
package bap-std
Legend:
Library
Module
Module type
Parameter
Class
Class type

Base class for evaluation contexts.

All interpreters evaluate terms under a given context, wrapped into a state monad. All context types must be structural subtypes of the Context.t.

The base context is just a mapping from variables to values.

Other than a type Context.t this module has n class t that provides a logarithmic implementation for lookup and update methods.

Since context, for any interpreter must be a structural subtype of Context.t it is not required that this particular should be used. Any implementation that has matching interface will work.

  • deprecated

    Use the Primus Framework

class t : object ... end
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct