package mopsa

  1. Overview
  2. Docs
package mopsa
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Python.Objects

module Class : sig ... end

Handling of class definition and instantiation.

module Constant_dict : sig ... end

A constant dictionary abstraction. Useful to be precise when passing named arguments to functions

module Data_container_utils : sig ... end
module Dict : sig ... end

A general smashing abstraction for Python dicts

module Dict_reduction : sig ... end

Reduction rule for pointer evaluations

module Function : sig ... end

Definition of python functions and evaluation of their calls.

module Iterable : sig ... end
module Lambda : sig ... end

Inlining of anonymous functions defined through lambda

module Py_list : sig ... end
module Py_object : sig ... end

An environment is a total map from variables to addresses.

module Py_set : sig ... end
module Range : sig ... end

Range objects.

module Tuple : sig ... end

A general expansion-based abstraction for Python tuples

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