package mopsa

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

Module Objects.Tuple

A general expansion-based abstraction for Python tuples

val name : string
type MopsaLib.addr_kind +=
  1. | A_py_tuple of int
val opt_py_tuple_allocation_policy : string ref
module Domain : sig ... end